Identifier
- St000398: Binary trees ⟶ ℤ
Values
=>
Cc0010;cc-rep
[.,.]=>0
[.,[.,.]]=>1
[[.,.],.]=>1
[.,[.,[.,.]]]=>3
[.,[[.,.],.]]=>3
[[.,.],[.,.]]=>2
[[.,[.,.]],.]=>3
[[[.,.],.],.]=>3
[.,[.,[.,[.,.]]]]=>6
[.,[.,[[.,.],.]]]=>6
[.,[[.,.],[.,.]]]=>5
[.,[[.,[.,.]],.]]=>6
[.,[[[.,.],.],.]]=>6
[[.,.],[.,[.,.]]]=>4
[[.,.],[[.,.],.]]=>4
[[.,[.,.]],[.,.]]=>4
[[[.,.],.],[.,.]]=>4
[[.,[.,[.,.]]],.]=>6
[[.,[[.,.],.]],.]=>6
[[[.,.],[.,.]],.]=>5
[[[.,[.,.]],.],.]=>6
[[[[.,.],.],.],.]=>6
[.,[.,[.,[.,[.,.]]]]]=>10
[.,[.,[.,[[.,.],.]]]]=>10
[.,[.,[[.,.],[.,.]]]]=>9
[.,[.,[[.,[.,.]],.]]]=>10
[.,[.,[[[.,.],.],.]]]=>10
[.,[[.,.],[.,[.,.]]]]=>8
[.,[[.,.],[[.,.],.]]]=>8
[.,[[.,[.,.]],[.,.]]]=>8
[.,[[[.,.],.],[.,.]]]=>8
[.,[[.,[.,[.,.]]],.]]=>10
[.,[[.,[[.,.],.]],.]]=>10
[.,[[[.,.],[.,.]],.]]=>9
[.,[[[.,[.,.]],.],.]]=>10
[.,[[[[.,.],.],.],.]]=>10
[[.,.],[.,[.,[.,.]]]]=>7
[[.,.],[.,[[.,.],.]]]=>7
[[.,.],[[.,.],[.,.]]]=>6
[[.,.],[[.,[.,.]],.]]=>7
[[.,.],[[[.,.],.],.]]=>7
[[.,[.,.]],[.,[.,.]]]=>6
[[.,[.,.]],[[.,.],.]]=>6
[[[.,.],.],[.,[.,.]]]=>6
[[[.,.],.],[[.,.],.]]=>6
[[.,[.,[.,.]]],[.,.]]=>7
[[.,[[.,.],.]],[.,.]]=>7
[[[.,.],[.,.]],[.,.]]=>6
[[[.,[.,.]],.],[.,.]]=>7
[[[[.,.],.],.],[.,.]]=>7
[[.,[.,[.,[.,.]]]],.]=>10
[[.,[.,[[.,.],.]]],.]=>10
[[.,[[.,.],[.,.]]],.]=>9
[[.,[[.,[.,.]],.]],.]=>10
[[.,[[[.,.],.],.]],.]=>10
[[[.,.],[.,[.,.]]],.]=>8
[[[.,.],[[.,.],.]],.]=>8
[[[.,[.,.]],[.,.]],.]=>8
[[[[.,.],.],[.,.]],.]=>8
[[[.,[.,[.,.]]],.],.]=>10
[[[.,[[.,.],.]],.],.]=>10
[[[[.,.],[.,.]],.],.]=>9
[[[[.,[.,.]],.],.],.]=>10
[[[[[.,.],.],.],.],.]=>10
[.,[.,[.,[.,[.,[.,.]]]]]]=>15
[.,[.,[.,[.,[[.,.],.]]]]]=>15
[.,[.,[.,[[.,.],[.,.]]]]]=>14
[.,[.,[.,[[.,[.,.]],.]]]]=>15
[.,[.,[.,[[[.,.],.],.]]]]=>15
[.,[.,[[.,.],[.,[.,.]]]]]=>13
[.,[.,[[.,.],[[.,.],.]]]]=>13
[.,[.,[[.,[.,.]],[.,.]]]]=>13
[.,[.,[[[.,.],.],[.,.]]]]=>13
[.,[.,[[.,[.,[.,.]]],.]]]=>15
[.,[.,[[.,[[.,.],.]],.]]]=>15
[.,[.,[[[.,.],[.,.]],.]]]=>14
[.,[.,[[[.,[.,.]],.],.]]]=>15
[.,[.,[[[[.,.],.],.],.]]]=>15
[.,[[.,.],[.,[.,[.,.]]]]]=>12
[.,[[.,.],[.,[[.,.],.]]]]=>12
[.,[[.,.],[[.,.],[.,.]]]]=>11
[.,[[.,.],[[.,[.,.]],.]]]=>12
[.,[[.,.],[[[.,.],.],.]]]=>12
[.,[[.,[.,.]],[.,[.,.]]]]=>11
[.,[[.,[.,.]],[[.,.],.]]]=>11
[.,[[[.,.],.],[.,[.,.]]]]=>11
[.,[[[.,.],.],[[.,.],.]]]=>11
[.,[[.,[.,[.,.]]],[.,.]]]=>12
[.,[[.,[[.,.],.]],[.,.]]]=>12
[.,[[[.,.],[.,.]],[.,.]]]=>11
[.,[[[.,[.,.]],.],[.,.]]]=>12
[.,[[[[.,.],.],.],[.,.]]]=>12
[.,[[.,[.,[.,[.,.]]]],.]]=>15
[.,[[.,[.,[[.,.],.]]],.]]=>15
[.,[[.,[[.,.],[.,.]]],.]]=>14
[.,[[.,[[.,[.,.]],.]],.]]=>15
[.,[[.,[[[.,.],.],.]],.]]=>15
[.,[[[.,.],[.,[.,.]]],.]]=>13
[.,[[[.,.],[[.,.],.]],.]]=>13
[.,[[[.,[.,.]],[.,.]],.]]=>13
[.,[[[[.,.],.],[.,.]],.]]=>13
[.,[[[.,[.,[.,.]]],.],.]]=>15
[.,[[[.,[[.,.],.]],.],.]]=>15
[.,[[[[.,.],[.,.]],.],.]]=>14
[.,[[[[.,[.,.]],.],.],.]]=>15
[.,[[[[[.,.],.],.],.],.]]=>15
[[.,.],[.,[.,[.,[.,.]]]]]=>11
[[.,.],[.,[.,[[.,.],.]]]]=>11
[[.,.],[.,[[.,.],[.,.]]]]=>10
[[.,.],[.,[[.,[.,.]],.]]]=>11
[[.,.],[.,[[[.,.],.],.]]]=>11
[[.,.],[[.,.],[.,[.,.]]]]=>9
[[.,.],[[.,.],[[.,.],.]]]=>9
[[.,.],[[.,[.,.]],[.,.]]]=>9
[[.,.],[[[.,.],.],[.,.]]]=>9
[[.,.],[[.,[.,[.,.]]],.]]=>11
[[.,.],[[.,[[.,.],.]],.]]=>11
[[.,.],[[[.,.],[.,.]],.]]=>10
[[.,.],[[[.,[.,.]],.],.]]=>11
[[.,.],[[[[.,.],.],.],.]]=>11
[[.,[.,.]],[.,[.,[.,.]]]]=>9
[[.,[.,.]],[.,[[.,.],.]]]=>9
[[.,[.,.]],[[.,.],[.,.]]]=>8
[[.,[.,.]],[[.,[.,.]],.]]=>9
[[.,[.,.]],[[[.,.],.],.]]=>9
[[[.,.],.],[.,[.,[.,.]]]]=>9
[[[.,.],.],[.,[[.,.],.]]]=>9
[[[.,.],.],[[.,.],[.,.]]]=>8
[[[.,.],.],[[.,[.,.]],.]]=>9
[[[.,.],.],[[[.,.],.],.]]=>9
[[.,[.,[.,.]]],[.,[.,.]]]=>9
[[.,[.,[.,.]]],[[.,.],.]]=>9
[[.,[[.,.],.]],[.,[.,.]]]=>9
[[.,[[.,.],.]],[[.,.],.]]=>9
[[[.,.],[.,.]],[.,[.,.]]]=>8
[[[.,.],[.,.]],[[.,.],.]]=>8
[[[.,[.,.]],.],[.,[.,.]]]=>9
[[[.,[.,.]],.],[[.,.],.]]=>9
[[[[.,.],.],.],[.,[.,.]]]=>9
[[[[.,.],.],.],[[.,.],.]]=>9
[[.,[.,[.,[.,.]]]],[.,.]]=>11
[[.,[.,[[.,.],.]]],[.,.]]=>11
[[.,[[.,.],[.,.]]],[.,.]]=>10
[[.,[[.,[.,.]],.]],[.,.]]=>11
[[.,[[[.,.],.],.]],[.,.]]=>11
[[[.,.],[.,[.,.]]],[.,.]]=>9
[[[.,.],[[.,.],.]],[.,.]]=>9
[[[.,[.,.]],[.,.]],[.,.]]=>9
[[[[.,.],.],[.,.]],[.,.]]=>9
[[[.,[.,[.,.]]],.],[.,.]]=>11
[[[.,[[.,.],.]],.],[.,.]]=>11
[[[[.,.],[.,.]],.],[.,.]]=>10
[[[[.,[.,.]],.],.],[.,.]]=>11
[[[[[.,.],.],.],.],[.,.]]=>11
[[.,[.,[.,[.,[.,.]]]]],.]=>15
[[.,[.,[.,[[.,.],.]]]],.]=>15
[[.,[.,[[.,.],[.,.]]]],.]=>14
[[.,[.,[[.,[.,.]],.]]],.]=>15
[[.,[.,[[[.,.],.],.]]],.]=>15
[[.,[[.,.],[.,[.,.]]]],.]=>13
[[.,[[.,.],[[.,.],.]]],.]=>13
[[.,[[.,[.,.]],[.,.]]],.]=>13
[[.,[[[.,.],.],[.,.]]],.]=>13
[[.,[[.,[.,[.,.]]],.]],.]=>15
[[.,[[.,[[.,.],.]],.]],.]=>15
[[.,[[[.,.],[.,.]],.]],.]=>14
[[.,[[[.,[.,.]],.],.]],.]=>15
[[.,[[[[.,.],.],.],.]],.]=>15
[[[.,.],[.,[.,[.,.]]]],.]=>12
[[[.,.],[.,[[.,.],.]]],.]=>12
[[[.,.],[[.,.],[.,.]]],.]=>11
[[[.,.],[[.,[.,.]],.]],.]=>12
[[[.,.],[[[.,.],.],.]],.]=>12
[[[.,[.,.]],[.,[.,.]]],.]=>11
[[[.,[.,.]],[[.,.],.]],.]=>11
[[[[.,.],.],[.,[.,.]]],.]=>11
[[[[.,.],.],[[.,.],.]],.]=>11
[[[.,[.,[.,.]]],[.,.]],.]=>12
[[[.,[[.,.],.]],[.,.]],.]=>12
[[[[.,.],[.,.]],[.,.]],.]=>11
[[[[.,[.,.]],.],[.,.]],.]=>12
[[[[[.,.],.],.],[.,.]],.]=>12
[[[.,[.,[.,[.,.]]]],.],.]=>15
[[[.,[.,[[.,.],.]]],.],.]=>15
[[[.,[[.,.],[.,.]]],.],.]=>14
[[[.,[[.,[.,.]],.]],.],.]=>15
[[[.,[[[.,.],.],.]],.],.]=>15
[[[[.,.],[.,[.,.]]],.],.]=>13
[[[[.,.],[[.,.],.]],.],.]=>13
[[[[.,[.,.]],[.,.]],.],.]=>13
[[[[[.,.],.],[.,.]],.],.]=>13
[[[[.,[.,[.,.]]],.],.],.]=>15
[[[[.,[[.,.],.]],.],.],.]=>15
[[[[[.,.],[.,.]],.],.],.]=>14
[[[[[.,[.,.]],.],.],.],.]=>15
[[[[[[.,.],.],.],.],.],.]=>15
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>21
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>21
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>20
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>21
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>21
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>19
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>19
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>19
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>19
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>21
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>21
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>20
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>21
[.,[.,[.,[[[[.,.],.],.],.]]]]=>21
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>18
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>18
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>17
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>18
[.,[.,[[.,.],[[[.,.],.],.]]]]=>18
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>17
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>17
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>17
[.,[.,[[[.,.],.],[[.,.],.]]]]=>17
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>18
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>18
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>17
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>18
[.,[.,[[[[.,.],.],.],[.,.]]]]=>18
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>21
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>21
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>20
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>21
[.,[.,[[.,[[[.,.],.],.]],.]]]=>21
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>19
[.,[.,[[[.,.],[[.,.],.]],.]]]=>19
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>19
[.,[.,[[[[.,.],.],[.,.]],.]]]=>19
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>21
[.,[.,[[[.,[[.,.],.]],.],.]]]=>21
[.,[.,[[[[.,.],[.,.]],.],.]]]=>20
[.,[.,[[[[.,[.,.]],.],.],.]]]=>21
[.,[.,[[[[[.,.],.],.],.],.]]]=>21
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>17
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>17
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>16
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>17
[.,[[.,.],[.,[[[.,.],.],.]]]]=>17
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>15
[.,[[.,.],[[.,.],[[.,.],.]]]]=>15
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>15
[.,[[.,.],[[[.,.],.],[.,.]]]]=>15
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>17
[.,[[.,.],[[.,[[.,.],.]],.]]]=>17
[.,[[.,.],[[[.,.],[.,.]],.]]]=>16
[.,[[.,.],[[[.,[.,.]],.],.]]]=>17
[.,[[.,.],[[[[.,.],.],.],.]]]=>17
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>15
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>15
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>14
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>15
[.,[[.,[.,.]],[[[.,.],.],.]]]=>15
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>15
[.,[[[.,.],.],[.,[[.,.],.]]]]=>15
[.,[[[.,.],.],[[.,.],[.,.]]]]=>14
[.,[[[.,.],.],[[.,[.,.]],.]]]=>15
[.,[[[.,.],.],[[[.,.],.],.]]]=>15
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>15
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>15
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>15
[.,[[.,[[.,.],.]],[[.,.],.]]]=>15
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>14
[.,[[[.,.],[.,.]],[[.,.],.]]]=>14
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>15
[.,[[[.,[.,.]],.],[[.,.],.]]]=>15
[.,[[[[.,.],.],.],[.,[.,.]]]]=>15
[.,[[[[.,.],.],.],[[.,.],.]]]=>15
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>17
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>17
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>16
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>17
[.,[[.,[[[.,.],.],.]],[.,.]]]=>17
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>15
[.,[[[.,.],[[.,.],.]],[.,.]]]=>15
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>15
[.,[[[[.,.],.],[.,.]],[.,.]]]=>15
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>17
[.,[[[.,[[.,.],.]],.],[.,.]]]=>17
[.,[[[[.,.],[.,.]],.],[.,.]]]=>16
[.,[[[[.,[.,.]],.],.],[.,.]]]=>17
[.,[[[[[.,.],.],.],.],[.,.]]]=>17
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>21
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>21
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>20
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>21
[.,[[.,[.,[[[.,.],.],.]]],.]]=>21
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>19
[.,[[.,[[.,.],[[.,.],.]]],.]]=>19
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>19
[.,[[.,[[[.,.],.],[.,.]]],.]]=>19
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>21
[.,[[.,[[.,[[.,.],.]],.]],.]]=>21
[.,[[.,[[[.,.],[.,.]],.]],.]]=>20
[.,[[.,[[[.,[.,.]],.],.]],.]]=>21
[.,[[.,[[[[.,.],.],.],.]],.]]=>21
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>18
[.,[[[.,.],[.,[[.,.],.]]],.]]=>18
[.,[[[.,.],[[.,.],[.,.]]],.]]=>17
[.,[[[.,.],[[.,[.,.]],.]],.]]=>18
[.,[[[.,.],[[[.,.],.],.]],.]]=>18
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>17
[.,[[[.,[.,.]],[[.,.],.]],.]]=>17
[.,[[[[.,.],.],[.,[.,.]]],.]]=>17
[.,[[[[.,.],.],[[.,.],.]],.]]=>17
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>18
[.,[[[.,[[.,.],.]],[.,.]],.]]=>18
[.,[[[[.,.],[.,.]],[.,.]],.]]=>17
[.,[[[[.,[.,.]],.],[.,.]],.]]=>18
[.,[[[[[.,.],.],.],[.,.]],.]]=>18
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>21
[.,[[[.,[.,[[.,.],.]]],.],.]]=>21
[.,[[[.,[[.,.],[.,.]]],.],.]]=>20
[.,[[[.,[[.,[.,.]],.]],.],.]]=>21
[.,[[[.,[[[.,.],.],.]],.],.]]=>21
[.,[[[[.,.],[.,[.,.]]],.],.]]=>19
[.,[[[[.,.],[[.,.],.]],.],.]]=>19
[.,[[[[.,[.,.]],[.,.]],.],.]]=>19
[.,[[[[[.,.],.],[.,.]],.],.]]=>19
[.,[[[[.,[.,[.,.]]],.],.],.]]=>21
[.,[[[[.,[[.,.],.]],.],.],.]]=>21
[.,[[[[[.,.],[.,.]],.],.],.]]=>20
[.,[[[[[.,[.,.]],.],.],.],.]]=>21
[.,[[[[[[.,.],.],.],.],.],.]]=>21
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>16
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>16
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>15
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>16
[[.,.],[.,[.,[[[.,.],.],.]]]]=>16
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>14
[[.,.],[.,[[.,.],[[.,.],.]]]]=>14
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>14
[[.,.],[.,[[[.,.],.],[.,.]]]]=>14
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>16
[[.,.],[.,[[.,[[.,.],.]],.]]]=>16
[[.,.],[.,[[[.,.],[.,.]],.]]]=>15
[[.,.],[.,[[[.,[.,.]],.],.]]]=>16
[[.,.],[.,[[[[.,.],.],.],.]]]=>16
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>13
[[.,.],[[.,.],[.,[[.,.],.]]]]=>13
[[.,.],[[.,.],[[.,.],[.,.]]]]=>12
[[.,.],[[.,.],[[.,[.,.]],.]]]=>13
[[.,.],[[.,.],[[[.,.],.],.]]]=>13
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>12
[[.,.],[[.,[.,.]],[[.,.],.]]]=>12
[[.,.],[[[.,.],.],[.,[.,.]]]]=>12
[[.,.],[[[.,.],.],[[.,.],.]]]=>12
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>13
[[.,.],[[.,[[.,.],.]],[.,.]]]=>13
[[.,.],[[[.,.],[.,.]],[.,.]]]=>12
[[.,.],[[[.,[.,.]],.],[.,.]]]=>13
[[.,.],[[[[.,.],.],.],[.,.]]]=>13
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>16
[[.,.],[[.,[.,[[.,.],.]]],.]]=>16
[[.,.],[[.,[[.,.],[.,.]]],.]]=>15
[[.,.],[[.,[[.,[.,.]],.]],.]]=>16
[[.,.],[[.,[[[.,.],.],.]],.]]=>16
[[.,.],[[[.,.],[.,[.,.]]],.]]=>14
[[.,.],[[[.,.],[[.,.],.]],.]]=>14
[[.,.],[[[.,[.,.]],[.,.]],.]]=>14
[[.,.],[[[[.,.],.],[.,.]],.]]=>14
[[.,.],[[[.,[.,[.,.]]],.],.]]=>16
[[.,.],[[[.,[[.,.],.]],.],.]]=>16
[[.,.],[[[[.,.],[.,.]],.],.]]=>15
[[.,.],[[[[.,[.,.]],.],.],.]]=>16
[[.,.],[[[[[.,.],.],.],.],.]]=>16
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>13
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>13
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>12
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>13
[[.,[.,.]],[.,[[[.,.],.],.]]]=>13
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>11
[[.,[.,.]],[[.,.],[[.,.],.]]]=>11
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>11
[[.,[.,.]],[[[.,.],.],[.,.]]]=>11
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>13
[[.,[.,.]],[[.,[[.,.],.]],.]]=>13
[[.,[.,.]],[[[.,.],[.,.]],.]]=>12
[[.,[.,.]],[[[.,[.,.]],.],.]]=>13
[[.,[.,.]],[[[[.,.],.],.],.]]=>13
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>13
[[[.,.],.],[.,[.,[[.,.],.]]]]=>13
[[[.,.],.],[.,[[.,.],[.,.]]]]=>12
[[[.,.],.],[.,[[.,[.,.]],.]]]=>13
[[[.,.],.],[.,[[[.,.],.],.]]]=>13
[[[.,.],.],[[.,.],[.,[.,.]]]]=>11
[[[.,.],.],[[.,.],[[.,.],.]]]=>11
[[[.,.],.],[[.,[.,.]],[.,.]]]=>11
[[[.,.],.],[[[.,.],.],[.,.]]]=>11
[[[.,.],.],[[.,[.,[.,.]]],.]]=>13
[[[.,.],.],[[.,[[.,.],.]],.]]=>13
[[[.,.],.],[[[.,.],[.,.]],.]]=>12
[[[.,.],.],[[[.,[.,.]],.],.]]=>13
[[[.,.],.],[[[[.,.],.],.],.]]=>13
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>12
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>12
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>11
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>12
[[.,[.,[.,.]]],[[[.,.],.],.]]=>12
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>12
[[.,[[.,.],.]],[.,[[.,.],.]]]=>12
[[.,[[.,.],.]],[[.,.],[.,.]]]=>11
[[.,[[.,.],.]],[[.,[.,.]],.]]=>12
[[.,[[.,.],.]],[[[.,.],.],.]]=>12
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>11
[[[.,.],[.,.]],[.,[[.,.],.]]]=>11
[[[.,.],[.,.]],[[.,.],[.,.]]]=>10
[[[.,.],[.,.]],[[.,[.,.]],.]]=>11
[[[.,.],[.,.]],[[[.,.],.],.]]=>11
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>12
[[[.,[.,.]],.],[.,[[.,.],.]]]=>12
[[[.,[.,.]],.],[[.,.],[.,.]]]=>11
[[[.,[.,.]],.],[[.,[.,.]],.]]=>12
[[[.,[.,.]],.],[[[.,.],.],.]]=>12
[[[[.,.],.],.],[.,[.,[.,.]]]]=>12
[[[[.,.],.],.],[.,[[.,.],.]]]=>12
[[[[.,.],.],.],[[.,.],[.,.]]]=>11
[[[[.,.],.],.],[[.,[.,.]],.]]=>12
[[[[.,.],.],.],[[[.,.],.],.]]=>12
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>13
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>13
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>13
[[.,[.,[[.,.],.]]],[[.,.],.]]=>13
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>12
[[.,[[.,.],[.,.]]],[[.,.],.]]=>12
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>13
[[.,[[.,[.,.]],.]],[[.,.],.]]=>13
[[.,[[[.,.],.],.]],[.,[.,.]]]=>13
[[.,[[[.,.],.],.]],[[.,.],.]]=>13
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>11
[[[.,.],[.,[.,.]]],[[.,.],.]]=>11
[[[.,.],[[.,.],.]],[.,[.,.]]]=>11
[[[.,.],[[.,.],.]],[[.,.],.]]=>11
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>11
[[[.,[.,.]],[.,.]],[[.,.],.]]=>11
[[[[.,.],.],[.,.]],[.,[.,.]]]=>11
[[[[.,.],.],[.,.]],[[.,.],.]]=>11
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>13
[[[.,[.,[.,.]]],.],[[.,.],.]]=>13
[[[.,[[.,.],.]],.],[.,[.,.]]]=>13
[[[.,[[.,.],.]],.],[[.,.],.]]=>13
[[[[.,.],[.,.]],.],[.,[.,.]]]=>12
[[[[.,.],[.,.]],.],[[.,.],.]]=>12
[[[[.,[.,.]],.],.],[.,[.,.]]]=>13
[[[[.,[.,.]],.],.],[[.,.],.]]=>13
[[[[[.,.],.],.],.],[.,[.,.]]]=>13
[[[[[.,.],.],.],.],[[.,.],.]]=>13
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>16
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>16
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>15
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>16
[[.,[.,[[[.,.],.],.]]],[.,.]]=>16
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>14
[[.,[[.,.],[[.,.],.]]],[.,.]]=>14
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>14
[[.,[[[.,.],.],[.,.]]],[.,.]]=>14
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>16
[[.,[[.,[[.,.],.]],.]],[.,.]]=>16
[[.,[[[.,.],[.,.]],.]],[.,.]]=>15
[[.,[[[.,[.,.]],.],.]],[.,.]]=>16
[[.,[[[[.,.],.],.],.]],[.,.]]=>16
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>13
[[[.,.],[.,[[.,.],.]]],[.,.]]=>13
[[[.,.],[[.,.],[.,.]]],[.,.]]=>12
[[[.,.],[[.,[.,.]],.]],[.,.]]=>13
[[[.,.],[[[.,.],.],.]],[.,.]]=>13
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>12
[[[.,[.,.]],[[.,.],.]],[.,.]]=>12
[[[[.,.],.],[.,[.,.]]],[.,.]]=>12
[[[[.,.],.],[[.,.],.]],[.,.]]=>12
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>13
[[[.,[[.,.],.]],[.,.]],[.,.]]=>13
[[[[.,.],[.,.]],[.,.]],[.,.]]=>12
[[[[.,[.,.]],.],[.,.]],[.,.]]=>13
[[[[[.,.],.],.],[.,.]],[.,.]]=>13
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>16
[[[.,[.,[[.,.],.]]],.],[.,.]]=>16
[[[.,[[.,.],[.,.]]],.],[.,.]]=>15
[[[.,[[.,[.,.]],.]],.],[.,.]]=>16
[[[.,[[[.,.],.],.]],.],[.,.]]=>16
[[[[.,.],[.,[.,.]]],.],[.,.]]=>14
[[[[.,.],[[.,.],.]],.],[.,.]]=>14
[[[[.,[.,.]],[.,.]],.],[.,.]]=>14
[[[[[.,.],.],[.,.]],.],[.,.]]=>14
[[[[.,[.,[.,.]]],.],.],[.,.]]=>16
[[[[.,[[.,.],.]],.],.],[.,.]]=>16
[[[[[.,.],[.,.]],.],.],[.,.]]=>15
[[[[[.,[.,.]],.],.],.],[.,.]]=>16
[[[[[[.,.],.],.],.],.],[.,.]]=>16
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>21
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>21
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>20
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>21
[[.,[.,[.,[[[.,.],.],.]]]],.]=>21
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>19
[[.,[.,[[.,.],[[.,.],.]]]],.]=>19
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>19
[[.,[.,[[[.,.],.],[.,.]]]],.]=>19
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>21
[[.,[.,[[.,[[.,.],.]],.]]],.]=>21
[[.,[.,[[[.,.],[.,.]],.]]],.]=>20
[[.,[.,[[[.,[.,.]],.],.]]],.]=>21
[[.,[.,[[[[.,.],.],.],.]]],.]=>21
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>18
[[.,[[.,.],[.,[[.,.],.]]]],.]=>18
[[.,[[.,.],[[.,.],[.,.]]]],.]=>17
[[.,[[.,.],[[.,[.,.]],.]]],.]=>18
[[.,[[.,.],[[[.,.],.],.]]],.]=>18
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>17
[[.,[[.,[.,.]],[[.,.],.]]],.]=>17
[[.,[[[.,.],.],[.,[.,.]]]],.]=>17
[[.,[[[.,.],.],[[.,.],.]]],.]=>17
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>18
[[.,[[.,[[.,.],.]],[.,.]]],.]=>18
[[.,[[[.,.],[.,.]],[.,.]]],.]=>17
[[.,[[[.,[.,.]],.],[.,.]]],.]=>18
[[.,[[[[.,.],.],.],[.,.]]],.]=>18
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>21
[[.,[[.,[.,[[.,.],.]]],.]],.]=>21
[[.,[[.,[[.,.],[.,.]]],.]],.]=>20
[[.,[[.,[[.,[.,.]],.]],.]],.]=>21
[[.,[[.,[[[.,.],.],.]],.]],.]=>21
[[.,[[[.,.],[.,[.,.]]],.]],.]=>19
[[.,[[[.,.],[[.,.],.]],.]],.]=>19
[[.,[[[.,[.,.]],[.,.]],.]],.]=>19
[[.,[[[[.,.],.],[.,.]],.]],.]=>19
[[.,[[[.,[.,[.,.]]],.],.]],.]=>21
[[.,[[[.,[[.,.],.]],.],.]],.]=>21
[[.,[[[[.,.],[.,.]],.],.]],.]=>20
[[.,[[[[.,[.,.]],.],.],.]],.]=>21
[[.,[[[[[.,.],.],.],.],.]],.]=>21
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>17
[[[.,.],[.,[.,[[.,.],.]]]],.]=>17
[[[.,.],[.,[[.,.],[.,.]]]],.]=>16
[[[.,.],[.,[[.,[.,.]],.]]],.]=>17
[[[.,.],[.,[[[.,.],.],.]]],.]=>17
[[[.,.],[[.,.],[.,[.,.]]]],.]=>15
[[[.,.],[[.,.],[[.,.],.]]],.]=>15
[[[.,.],[[.,[.,.]],[.,.]]],.]=>15
[[[.,.],[[[.,.],.],[.,.]]],.]=>15
[[[.,.],[[.,[.,[.,.]]],.]],.]=>17
[[[.,.],[[.,[[.,.],.]],.]],.]=>17
[[[.,.],[[[.,.],[.,.]],.]],.]=>16
[[[.,.],[[[.,[.,.]],.],.]],.]=>17
[[[.,.],[[[[.,.],.],.],.]],.]=>17
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>15
[[[.,[.,.]],[.,[[.,.],.]]],.]=>15
[[[.,[.,.]],[[.,.],[.,.]]],.]=>14
[[[.,[.,.]],[[.,[.,.]],.]],.]=>15
[[[.,[.,.]],[[[.,.],.],.]],.]=>15
[[[[.,.],.],[.,[.,[.,.]]]],.]=>15
[[[[.,.],.],[.,[[.,.],.]]],.]=>15
[[[[.,.],.],[[.,.],[.,.]]],.]=>14
[[[[.,.],.],[[.,[.,.]],.]],.]=>15
[[[[.,.],.],[[[.,.],.],.]],.]=>15
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>15
[[[.,[.,[.,.]]],[[.,.],.]],.]=>15
[[[.,[[.,.],.]],[.,[.,.]]],.]=>15
[[[.,[[.,.],.]],[[.,.],.]],.]=>15
[[[[.,.],[.,.]],[.,[.,.]]],.]=>14
[[[[.,.],[.,.]],[[.,.],.]],.]=>14
[[[[.,[.,.]],.],[.,[.,.]]],.]=>15
[[[[.,[.,.]],.],[[.,.],.]],.]=>15
[[[[[.,.],.],.],[.,[.,.]]],.]=>15
[[[[[.,.],.],.],[[.,.],.]],.]=>15
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>17
[[[.,[.,[[.,.],.]]],[.,.]],.]=>17
[[[.,[[.,.],[.,.]]],[.,.]],.]=>16
[[[.,[[.,[.,.]],.]],[.,.]],.]=>17
[[[.,[[[.,.],.],.]],[.,.]],.]=>17
[[[[.,.],[.,[.,.]]],[.,.]],.]=>15
[[[[.,.],[[.,.],.]],[.,.]],.]=>15
[[[[.,[.,.]],[.,.]],[.,.]],.]=>15
[[[[[.,.],.],[.,.]],[.,.]],.]=>15
[[[[.,[.,[.,.]]],.],[.,.]],.]=>17
[[[[.,[[.,.],.]],.],[.,.]],.]=>17
[[[[[.,.],[.,.]],.],[.,.]],.]=>16
[[[[[.,[.,.]],.],.],[.,.]],.]=>17
[[[[[[.,.],.],.],.],[.,.]],.]=>17
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>21
[[[.,[.,[.,[[.,.],.]]]],.],.]=>21
[[[.,[.,[[.,.],[.,.]]]],.],.]=>20
[[[.,[.,[[.,[.,.]],.]]],.],.]=>21
[[[.,[.,[[[.,.],.],.]]],.],.]=>21
[[[.,[[.,.],[.,[.,.]]]],.],.]=>19
[[[.,[[.,.],[[.,.],.]]],.],.]=>19
[[[.,[[.,[.,.]],[.,.]]],.],.]=>19
[[[.,[[[.,.],.],[.,.]]],.],.]=>19
[[[.,[[.,[.,[.,.]]],.]],.],.]=>21
[[[.,[[.,[[.,.],.]],.]],.],.]=>21
[[[.,[[[.,.],[.,.]],.]],.],.]=>20
[[[.,[[[.,[.,.]],.],.]],.],.]=>21
[[[.,[[[[.,.],.],.],.]],.],.]=>21
[[[[.,.],[.,[.,[.,.]]]],.],.]=>18
[[[[.,.],[.,[[.,.],.]]],.],.]=>18
[[[[.,.],[[.,.],[.,.]]],.],.]=>17
[[[[.,.],[[.,[.,.]],.]],.],.]=>18
[[[[.,.],[[[.,.],.],.]],.],.]=>18
[[[[.,[.,.]],[.,[.,.]]],.],.]=>17
[[[[.,[.,.]],[[.,.],.]],.],.]=>17
[[[[[.,.],.],[.,[.,.]]],.],.]=>17
[[[[[.,.],.],[[.,.],.]],.],.]=>17
[[[[.,[.,[.,.]]],[.,.]],.],.]=>18
[[[[.,[[.,.],.]],[.,.]],.],.]=>18
[[[[[.,.],[.,.]],[.,.]],.],.]=>17
[[[[[.,[.,.]],.],[.,.]],.],.]=>18
[[[[[[.,.],.],.],[.,.]],.],.]=>18
[[[[.,[.,[.,[.,.]]]],.],.],.]=>21
[[[[.,[.,[[.,.],.]]],.],.],.]=>21
[[[[.,[[.,.],[.,.]]],.],.],.]=>20
[[[[.,[[.,[.,.]],.]],.],.],.]=>21
[[[[.,[[[.,.],.],.]],.],.],.]=>21
[[[[[.,.],[.,[.,.]]],.],.],.]=>19
[[[[[.,.],[[.,.],.]],.],.],.]=>19
[[[[[.,[.,.]],[.,.]],.],.],.]=>19
[[[[[[.,.],.],[.,.]],.],.],.]=>19
[[[[[.,[.,[.,.]]],.],.],.],.]=>21
[[[[[.,[[.,.],.]],.],.],.],.]=>21
[[[[[[.,.],[.,.]],.],.],.],.]=>20
[[[[[[.,[.,.]],.],.],.],.],.]=>21
[[[[[[[.,.],.],.],.],.],.],.]=>21
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>28
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>28
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>27
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>28
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]=>28
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]]=>26
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]]=>26
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]]=>26
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]]=>26
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>28
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>28
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>27
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>28
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>28
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>25
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>25
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]]=>24
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>25
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>25
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]]=>24
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]]=>24
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]]=>24
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]]=>24
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>25
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>25
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]]=>24
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>25
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>25
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>28
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>28
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>27
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>28
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>28
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]]=>26
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]]=>26
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]]=>26
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>26
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>28
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>28
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>27
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>28
[.,[.,[.,[[[[[.,.],.],.],.],.]]]]=>28
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]]=>24
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]]=>24
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]]=>23
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]]=>24
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]]=>24
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>22
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]]=>22
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]]=>22
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]]=>22
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]]=>24
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]]=>24
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]]=>23
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]]=>24
[.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>24
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]]=>22
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]]=>22
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]]=>21
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]]=>22
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]]=>22
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]]=>22
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]]=>22
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]]=>21
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]]=>22
[.,[.,[[[.,.],.],[[[.,.],.],.]]]]=>22
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]]=>22
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]]=>22
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]]=>22
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]]=>22
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]]=>21
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]]=>21
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]]=>22
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]]=>22
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]]=>22
[.,[.,[[[[.,.],.],.],[[.,.],.]]]]=>22
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]]=>24
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]]=>24
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]]=>23
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]]=>24
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]]=>24
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]]=>22
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]]=>22
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]]=>22
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]]=>22
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]]=>24
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]]=>24
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]]=>23
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]]=>24
[.,[.,[[[[[.,.],.],.],.],[.,.]]]]=>24
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]=>28
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]]=>28
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>27
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]]=>28
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]]=>28
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]]=>26
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]]=>26
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]]=>26
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]]=>26
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>28
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]]=>28
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>27
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>28
[.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>28
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>25
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>25
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]]=>24
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>25
[.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>25
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]]=>24
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]]=>24
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]]=>24
[.,[.,[[[[.,.],.],[[.,.],.]],.]]]=>24
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>25
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>25
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]]=>24
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>25
[.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>25
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]=>28
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]]=>28
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>27
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]]=>28
[.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>28
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]]=>26
[.,[.,[[[[.,.],[[.,.],.]],.],.]]]=>26
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]]=>26
[.,[.,[[[[[.,.],.],[.,.]],.],.]]]=>26
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>28
[.,[.,[[[[.,[[.,.],.]],.],.],.]]]=>28
[.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>27
[.,[.,[[[[[.,[.,.]],.],.],.],.]]]=>28
[.,[.,[[[[[[.,.],.],.],.],.],.]]]=>28
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>23
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>23
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>22
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>23
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>23
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>21
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]]=>21
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]]=>21
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]]=>21
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>23
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>23
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]]=>22
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>23
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>23
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]]=>20
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]]=>20
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>19
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]]=>20
[.,[[.,.],[[.,.],[[[.,.],.],.]]]]=>20
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]]=>19
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]]=>19
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]]=>19
[.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>19
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]]=>20
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]]=>20
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]]=>19
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]]=>20
[.,[[.,.],[[[[.,.],.],.],[.,.]]]]=>20
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>23
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>23
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]]=>22
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>23
[.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>23
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]]=>21
[.,[[.,.],[[[.,.],[[.,.],.]],.]]]=>21
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]]=>21
[.,[[.,.],[[[[.,.],.],[.,.]],.]]]=>21
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>23
[.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>23
[.,[[.,.],[[[[.,.],[.,.]],.],.]]]=>22
[.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>23
[.,[[.,.],[[[[[.,.],.],.],.],.]]]=>23
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]]=>20
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]]=>20
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]]=>19
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]]=>20
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]]=>20
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]]=>18
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]]=>18
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]]=>18
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]]=>18
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]]=>20
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]]=>20
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]]=>19
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]]=>20
[.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>20
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]]=>20
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]]=>20
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]]=>19
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]]=>20
[.,[[[.,.],.],[.,[[[.,.],.],.]]]]=>20
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]]=>18
[.,[[[.,.],.],[[.,.],[[.,.],.]]]]=>18
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]]=>18
[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>18
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]]=>20
[.,[[[.,.],.],[[.,[[.,.],.]],.]]]=>20
[.,[[[.,.],.],[[[.,.],[.,.]],.]]]=>19
[.,[[[.,.],.],[[[.,[.,.]],.],.]]]=>20
[.,[[[.,.],.],[[[[.,.],.],.],.]]]=>20
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>19
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>19
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]]=>18
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>19
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>19
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>19
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>19
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]]=>18
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>19
[.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>19
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]]=>18
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]]=>18
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]]=>17
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]]=>18
[.,[[[.,.],[.,.]],[[[.,.],.],.]]]=>18
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>19
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>19
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]]=>18
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>19
[.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>19
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>19
[.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>19
[.,[[[[.,.],.],.],[[.,.],[.,.]]]]=>18
[.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>19
[.,[[[[.,.],.],.],[[[.,.],.],.]]]=>19
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]]=>20
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]]=>20
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]]=>20
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]]=>20
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]]=>19
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]]=>19
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]]=>20
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]]=>20
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]]=>20
[.,[[.,[[[.,.],.],.]],[[.,.],.]]]=>20
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]]=>18
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]]=>18
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]]=>18
[.,[[[.,.],[[.,.],.]],[[.,.],.]]]=>18
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]]=>18
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]]=>18
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]]=>18
[.,[[[[.,.],.],[.,.]],[[.,.],.]]]=>18
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]]=>20
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]]=>20
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]]=>20
[.,[[[.,[[.,.],.]],.],[[.,.],.]]]=>20
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]]=>19
[.,[[[[.,.],[.,.]],.],[[.,.],.]]]=>19
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]]=>20
[.,[[[[.,[.,.]],.],.],[[.,.],.]]]=>20
[.,[[[[[.,.],.],.],.],[.,[.,.]]]]=>20
[.,[[[[[.,.],.],.],.],[[.,.],.]]]=>20
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>23
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>23
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]]=>22
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>23
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>23
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]]=>21
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]]=>21
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]]=>21
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]]=>21
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>23
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>23
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]]=>22
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>23
[.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>23
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]]=>20
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]]=>20
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]]=>19
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]]=>20
[.,[[[.,.],[[[.,.],.],.]],[.,.]]]=>20
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]]=>19
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]]=>19
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]]=>19
[.,[[[[.,.],.],[[.,.],.]],[.,.]]]=>19
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]]=>20
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]]=>20
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]]=>19
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]]=>20
[.,[[[[[.,.],.],.],[.,.]],[.,.]]]=>20
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>23
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>23
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]]=>22
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>23
[.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>23
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]]=>21
[.,[[[[.,.],[[.,.],.]],.],[.,.]]]=>21
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]]=>21
[.,[[[[[.,.],.],[.,.]],.],[.,.]]]=>21
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>23
[.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>23
[.,[[[[[.,.],[.,.]],.],.],[.,.]]]=>22
[.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>23
[.,[[[[[[.,.],.],.],.],.],[.,.]]]=>23
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]=>28
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>28
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>27
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>28
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]]=>28
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]]=>26
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]]=>26
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]]=>26
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]]=>26
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>28
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]]=>28
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>27
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]]=>28
[.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>28
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>25
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>25
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>24
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>25
[.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>25
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]]=>24
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]]=>24
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]]=>24
[.,[[.,[[[.,.],.],[[.,.],.]]],.]]=>24
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>25
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>25
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]]=>24
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>25
[.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>25
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>28
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]]=>28
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>27
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>28
[.,[[.,[[.,[[[.,.],.],.]],.]],.]]=>28
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]]=>26
[.,[[.,[[[.,.],[[.,.],.]],.]],.]]=>26
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]]=>26
[.,[[.,[[[[.,.],.],[.,.]],.]],.]]=>26
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]]=>28
[.,[[.,[[[.,[[.,.],.]],.],.]],.]]=>28
[.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>27
[.,[[.,[[[[.,[.,.]],.],.],.]],.]]=>28
[.,[[.,[[[[[.,.],.],.],.],.]],.]]=>28
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]]=>24
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]]=>24
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]]=>23
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]]=>24
[.,[[[.,.],[.,[[[.,.],.],.]]],.]]=>24
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]]=>22
[.,[[[.,.],[[.,.],[[.,.],.]]],.]]=>22
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]]=>22
[.,[[[.,.],[[[.,.],.],[.,.]]],.]]=>22
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]]=>24
[.,[[[.,.],[[.,[[.,.],.]],.]],.]]=>24
[.,[[[.,.],[[[.,.],[.,.]],.]],.]]=>23
[.,[[[.,.],[[[.,[.,.]],.],.]],.]]=>24
[.,[[[.,.],[[[[.,.],.],.],.]],.]]=>24
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]]=>22
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]]=>22
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]]=>21
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]]=>22
[.,[[[.,[.,.]],[[[.,.],.],.]],.]]=>22
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]]=>22
[.,[[[[.,.],.],[.,[[.,.],.]]],.]]=>22
[.,[[[[.,.],.],[[.,.],[.,.]]],.]]=>21
[.,[[[[.,.],.],[[.,[.,.]],.]],.]]=>22
[.,[[[[.,.],.],[[[.,.],.],.]],.]]=>22
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]]=>22
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]]=>22
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]]=>22
[.,[[[.,[[.,.],.]],[[.,.],.]],.]]=>22
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]]=>21
[.,[[[[.,.],[.,.]],[[.,.],.]],.]]=>21
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]]=>22
[.,[[[[.,[.,.]],.],[[.,.],.]],.]]=>22
[.,[[[[[.,.],.],.],[.,[.,.]]],.]]=>22
[.,[[[[[.,.],.],.],[[.,.],.]],.]]=>22
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]]=>24
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]]=>24
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]]=>23
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]]=>24
[.,[[[.,[[[.,.],.],.]],[.,.]],.]]=>24
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]]=>22
[.,[[[[.,.],[[.,.],.]],[.,.]],.]]=>22
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]]=>22
[.,[[[[[.,.],.],[.,.]],[.,.]],.]]=>22
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]]=>24
[.,[[[[.,[[.,.],.]],.],[.,.]],.]]=>24
[.,[[[[[.,.],[.,.]],.],[.,.]],.]]=>23
[.,[[[[[.,[.,.]],.],.],[.,.]],.]]=>24
[.,[[[[[[.,.],.],.],.],[.,.]],.]]=>24
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]=>28
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]]=>28
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>27
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]]=>28
[.,[[[.,[.,[[[.,.],.],.]]],.],.]]=>28
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]]=>26
[.,[[[.,[[.,.],[[.,.],.]]],.],.]]=>26
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]]=>26
[.,[[[.,[[[.,.],.],[.,.]]],.],.]]=>26
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]]=>28
[.,[[[.,[[.,[[.,.],.]],.]],.],.]]=>28
[.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>27
[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>28
[.,[[[.,[[[[.,.],.],.],.]],.],.]]=>28
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>25
[.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>25
[.,[[[[.,.],[[.,.],[.,.]]],.],.]]=>24
[.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>25
[.,[[[[.,.],[[[.,.],.],.]],.],.]]=>25
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]]=>24
[.,[[[[.,[.,.]],[[.,.],.]],.],.]]=>24
[.,[[[[[.,.],.],[.,[.,.]]],.],.]]=>24
[.,[[[[[.,.],.],[[.,.],.]],.],.]]=>24
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>25
[.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>25
[.,[[[[[.,.],[.,.]],[.,.]],.],.]]=>24
[.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>25
[.,[[[[[[.,.],.],.],[.,.]],.],.]]=>25
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]]=>28
[.,[[[[.,[.,[[.,.],.]]],.],.],.]]=>28
[.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>27
[.,[[[[.,[[.,[.,.]],.]],.],.],.]]=>28
[.,[[[[.,[[[.,.],.],.]],.],.],.]]=>28
[.,[[[[[.,.],[.,[.,.]]],.],.],.]]=>26
[.,[[[[[.,.],[[.,.],.]],.],.],.]]=>26
[.,[[[[[.,[.,.]],[.,.]],.],.],.]]=>26
[.,[[[[[[.,.],.],[.,.]],.],.],.]]=>26
[.,[[[[[.,[.,[.,.]]],.],.],.],.]]=>28
[.,[[[[[.,[[.,.],.]],.],.],.],.]]=>28
[.,[[[[[[.,.],[.,.]],.],.],.],.]]=>27
[.,[[[[[[.,[.,.]],.],.],.],.],.]]=>28
[.,[[[[[[[.,.],.],.],.],.],.],.]]=>28
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]]=>22
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>22
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>21
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]]=>22
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]]=>22
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>20
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]]=>20
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]]=>20
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]]=>20
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]]=>22
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]]=>22
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>21
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>22
[[.,.],[.,[.,[[[[.,.],.],.],.]]]]=>22
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>19
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>19
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]]=>18
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>19
[[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>19
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]]=>18
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]]=>18
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]]=>18
[[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>18
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>19
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>19
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]]=>18
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>19
[[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>19
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]]=>22
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]]=>22
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>21
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]]=>22
[[.,.],[.,[[.,[[[.,.],.],.]],.]]]=>22
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]]=>20
[[.,.],[.,[[[.,.],[[.,.],.]],.]]]=>20
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]]=>20
[[.,.],[.,[[[[.,.],.],[.,.]],.]]]=>20
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]]=>22
[[.,.],[.,[[[.,[[.,.],.]],.],.]]]=>22
[[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>21
[[.,.],[.,[[[[.,[.,.]],.],.],.]]]=>22
[[.,.],[.,[[[[[.,.],.],.],.],.]]]=>22
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]]=>18
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]]=>18
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]]=>17
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]]=>18
[[.,.],[[.,.],[.,[[[.,.],.],.]]]]=>18
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]]=>16
[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>16
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]]=>16
[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>16
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]]=>18
[[.,.],[[.,.],[[.,[[.,.],.]],.]]]=>18
[[.,.],[[.,.],[[[.,.],[.,.]],.]]]=>17
[[.,.],[[.,.],[[[.,[.,.]],.],.]]]=>18
[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>18
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]]=>16
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]]=>16
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]]=>15
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]]=>16
[[.,.],[[.,[.,.]],[[[.,.],.],.]]]=>16
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]]=>16
[[.,.],[[[.,.],.],[.,[[.,.],.]]]]=>16
[[.,.],[[[.,.],.],[[.,.],[.,.]]]]=>15
[[.,.],[[[.,.],.],[[.,[.,.]],.]]]=>16
[[.,.],[[[.,.],.],[[[.,.],.],.]]]=>16
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]]=>16
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]]=>16
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]]=>16
[[.,.],[[.,[[.,.],.]],[[.,.],.]]]=>16
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]]=>15
[[.,.],[[[.,.],[.,.]],[[.,.],.]]]=>15
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]]=>16
[[.,.],[[[.,[.,.]],.],[[.,.],.]]]=>16
[[.,.],[[[[.,.],.],.],[.,[.,.]]]]=>16
[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>16
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]]=>18
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]]=>18
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]]=>17
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]]=>18
[[.,.],[[.,[[[.,.],.],.]],[.,.]]]=>18
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]]=>16
[[.,.],[[[.,.],[[.,.],.]],[.,.]]]=>16
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]]=>16
[[.,.],[[[[.,.],.],[.,.]],[.,.]]]=>16
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]]=>18
[[.,.],[[[.,[[.,.],.]],.],[.,.]]]=>18
[[.,.],[[[[.,.],[.,.]],.],[.,.]]]=>17
[[.,.],[[[[.,[.,.]],.],.],[.,.]]]=>18
[[.,.],[[[[[.,.],.],.],.],[.,.]]]=>18
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]]=>22
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]]=>22
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>21
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]]=>22
[[.,.],[[.,[.,[[[.,.],.],.]]],.]]=>22
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]]=>20
[[.,.],[[.,[[.,.],[[.,.],.]]],.]]=>20
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]]=>20
[[.,.],[[.,[[[.,.],.],[.,.]]],.]]=>20
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]]=>22
[[.,.],[[.,[[.,[[.,.],.]],.]],.]]=>22
[[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>21
[[.,.],[[.,[[[.,[.,.]],.],.]],.]]=>22
[[.,.],[[.,[[[[.,.],.],.],.]],.]]=>22
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>19
[[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>19
[[.,.],[[[.,.],[[.,.],[.,.]]],.]]=>18
[[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>19
[[.,.],[[[.,.],[[[.,.],.],.]],.]]=>19
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]]=>18
[[.,.],[[[.,[.,.]],[[.,.],.]],.]]=>18
[[.,.],[[[[.,.],.],[.,[.,.]]],.]]=>18
[[.,.],[[[[.,.],.],[[.,.],.]],.]]=>18
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>19
[[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>19
[[.,.],[[[[.,.],[.,.]],[.,.]],.]]=>18
[[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>19
[[.,.],[[[[[.,.],.],.],[.,.]],.]]=>19
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]]=>22
[[.,.],[[[.,[.,[[.,.],.]]],.],.]]=>22
[[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>21
[[.,.],[[[.,[[.,[.,.]],.]],.],.]]=>22
[[.,.],[[[.,[[[.,.],.],.]],.],.]]=>22
[[.,.],[[[[.,.],[.,[.,.]]],.],.]]=>20
[[.,.],[[[[.,.],[[.,.],.]],.],.]]=>20
[[.,.],[[[[.,[.,.]],[.,.]],.],.]]=>20
[[.,.],[[[[[.,.],.],[.,.]],.],.]]=>20
[[.,.],[[[[.,[.,[.,.]]],.],.],.]]=>22
[[.,.],[[[[.,[[.,.],.]],.],.],.]]=>22
[[.,.],[[[[[.,.],[.,.]],.],.],.]]=>21
[[.,.],[[[[[.,[.,.]],.],.],.],.]]=>22
[[.,.],[[[[[[.,.],.],.],.],.],.]]=>22
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>18
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]]=>18
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>17
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]]=>18
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]]=>18
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]]=>16
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]]=>16
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]]=>16
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]]=>16
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]]=>18
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]]=>18
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>17
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]]=>18
[[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>18
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 sum of the depths of the vertices (or total internal path length) of a binary tree.
The depth of a vertex is the number of edges to the tree's root, see Section 2.3.4.5 of [1] and [3].
This statistic is the very first entry of the OEIS, see [2]. Observe that there the term height is used instead.
The depth of a vertex is the number of edges to the tree's root, see Section 2.3.4.5 of [1] and [3].
This statistic is the very first entry of the OEIS, see [2]. Observe that there the term height is used instead.
References
[1] Knuth, D. E. The art of computer programming. Vol. 1 MathSciNet:3077152
[2] Normalized total height of all nodes in all rooted trees with n labeled nodes. OEIS:A000435
[3] wikipedia:Tree (data_structure)
[2] Normalized total height of all nodes in all rooted trees with n labeled nodes. OEIS:A000435
[3] wikipedia:Tree (data_structure)
Code
def statistic(T): return path_length_aux(T, 0) def path_length_aux(T, n): return n+sum(path_length_aux(S, n+1) for S in T if not S.is_empty())
Created
Feb 22, 2016 at 15:54 by Martin Rubey
Updated
Aug 10, 2016 at 11:38 by Christian Stump
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!