Identifier
- St001554: Binary trees ⟶ ℤ
Values
=>
Cc0010;cc-rep
[.,.]=>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
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
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()]))
Created
Jun 05, 2020 at 14:17 by Martin Rubey
Updated
Jun 05, 2020 at 14:17 by Martin Rubey
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!