Identifier
- St000412: Binary trees ⟶ ℤ
Values
=>
Cc0010;cc-rep
[.,[.,.]]=>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
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 binary trees with the same underlying unordered tree.
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))
Created
Feb 25, 2016 at 10:48 by Martin Rubey
Updated
Feb 25, 2016 at 10:48 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!