- FindStat

edit this statistic or download as text // json

Identifier

St000569: Binary trees ⟶ ℤ

Values

=>
                            Cc0010;cc-rep
                            
                            
                            

                        [.,[.,.]]=>3
[[.,.],.]=>3
[.,[.,[.,.]]]=>6
[.,[[.,.],.]]=>6
[[.,.],[.,.]]=>4
[[.,[.,.]],.]=>6
[[[.,.],.],.]=>6
[.,[.,[.,[.,.]]]]=>10
[.,[.,[[.,.],.]]]=>10
[.,[[.,.],[.,.]]]=>7
[.,[[.,[.,.]],.]]=>10
[.,[[[.,.],.],.]]=>10
[[.,.],[.,[.,.]]]=>7
[[.,.],[[.,.],.]]=>7
[[.,[.,.]],[.,.]]=>7
[[[.,.],.],[.,.]]=>7
[[.,[.,[.,.]]],.]=>10
[[.,[[.,.],.]],.]=>10
[[[.,.],[.,.]],.]=>7
[[[.,[.,.]],.],.]=>10
[[[[.,.],.],.],.]=>10
[.,[.,[.,[.,[.,.]]]]]=>15
[.,[.,[.,[[.,.],.]]]]=>15
[.,[.,[[.,.],[.,.]]]]=>11
[.,[.,[[.,[.,.]],.]]]=>15
[.,[.,[[[.,.],.],.]]]=>15
[.,[[.,.],[.,[.,.]]]]=>11
[.,[[.,.],[[.,.],.]]]=>11
[.,[[.,[.,.]],[.,.]]]=>11
[.,[[[.,.],.],[.,.]]]=>11
[.,[[.,[.,[.,.]]],.]]=>15
[.,[[.,[[.,.],.]],.]]=>15
[.,[[[.,.],[.,.]],.]]=>11
[.,[[[.,[.,.]],.],.]]=>15
[.,[[[[.,.],.],.],.]]=>15
[[.,.],[.,[.,[.,.]]]]=>11
[[.,.],[.,[[.,.],.]]]=>11
[[.,.],[[.,.],[.,.]]]=>8
[[.,.],[[.,[.,.]],.]]=>11
[[.,.],[[[.,.],.],.]]=>11
[[.,[.,.]],[.,[.,.]]]=>9
[[.,[.,.]],[[.,.],.]]=>9
[[[.,.],.],[.,[.,.]]]=>9
[[[.,.],.],[[.,.],.]]=>9
[[.,[.,[.,.]]],[.,.]]=>11
[[.,[[.,.],.]],[.,.]]=>11
[[[.,.],[.,.]],[.,.]]=>8
[[[.,[.,.]],.],[.,.]]=>11
[[[[.,.],.],.],[.,.]]=>11
[[.,[.,[.,[.,.]]]],.]=>15
[[.,[.,[[.,.],.]]],.]=>15
[[.,[[.,.],[.,.]]],.]=>11
[[.,[[.,[.,.]],.]],.]=>15
[[.,[[[.,.],.],.]],.]=>15
[[[.,.],[.,[.,.]]],.]=>11
[[[.,.],[[.,.],.]],.]=>11
[[[.,[.,.]],[.,.]],.]=>11
[[[[.,.],.],[.,.]],.]=>11
[[[.,[.,[.,.]]],.],.]=>15
[[[.,[[.,.],.]],.],.]=>15
[[[[.,.],[.,.]],.],.]=>11
[[[[.,[.,.]],.],.],.]=>15
[[[[[.,.],.],.],.],.]=>15
[.,[.,[.,[.,[.,[.,.]]]]]]=>21
[.,[.,[.,[.,[[.,.],.]]]]]=>21
[.,[.,[.,[[.,.],[.,.]]]]]=>16
[.,[.,[.,[[.,[.,.]],.]]]]=>21
[.,[.,[.,[[[.,.],.],.]]]]=>21
[.,[.,[[.,.],[.,[.,.]]]]]=>16
[.,[.,[[.,.],[[.,.],.]]]]=>16
[.,[.,[[.,[.,.]],[.,.]]]]=>16
[.,[.,[[[.,.],.],[.,.]]]]=>16
[.,[.,[[.,[.,[.,.]]],.]]]=>21
[.,[.,[[.,[[.,.],.]],.]]]=>21
[.,[.,[[[.,.],[.,.]],.]]]=>16
[.,[.,[[[.,[.,.]],.],.]]]=>21
[.,[.,[[[[.,.],.],.],.]]]=>21
[.,[[.,.],[.,[.,[.,.]]]]]=>16
[.,[[.,.],[.,[[.,.],.]]]]=>16
[.,[[.,.],[[.,.],[.,.]]]]=>12
[.,[[.,.],[[.,[.,.]],.]]]=>16
[.,[[.,.],[[[.,.],.],.]]]=>16
[.,[[.,[.,.]],[.,[.,.]]]]=>13
[.,[[.,[.,.]],[[.,.],.]]]=>13
[.,[[[.,.],.],[.,[.,.]]]]=>13
[.,[[[.,.],.],[[.,.],.]]]=>13
[.,[[.,[.,[.,.]]],[.,.]]]=>16
[.,[[.,[[.,.],.]],[.,.]]]=>16
[.,[[[.,.],[.,.]],[.,.]]]=>12
[.,[[[.,[.,.]],.],[.,.]]]=>16
[.,[[[[.,.],.],.],[.,.]]]=>16
[.,[[.,[.,[.,[.,.]]]],.]]=>21
[.,[[.,[.,[[.,.],.]]],.]]=>21
[.,[[.,[[.,.],[.,.]]],.]]=>16
[.,[[.,[[.,[.,.]],.]],.]]=>21
[.,[[.,[[[.,.],.],.]],.]]=>21
[.,[[[.,.],[.,[.,.]]],.]]=>16
[.,[[[.,.],[[.,.],.]],.]]=>16
[.,[[[.,[.,.]],[.,.]],.]]=>16
[.,[[[[.,.],.],[.,.]],.]]=>16
[.,[[[.,[.,[.,.]]],.],.]]=>21
[.,[[[.,[[.,.],.]],.],.]]=>21
[.,[[[[.,.],[.,.]],.],.]]=>16
[.,[[[[.,[.,.]],.],.],.]]=>21
[.,[[[[[.,.],.],.],.],.]]=>21
[[.,.],[.,[.,[.,[.,.]]]]]=>16
[[.,.],[.,[.,[[.,.],.]]]]=>16
[[.,.],[.,[[.,.],[.,.]]]]=>12
[[.,.],[.,[[.,[.,.]],.]]]=>16
[[.,.],[.,[[[.,.],.],.]]]=>16
[[.,.],[[.,.],[.,[.,.]]]]=>12
[[.,.],[[.,.],[[.,.],.]]]=>12
[[.,.],[[.,[.,.]],[.,.]]]=>12
[[.,.],[[[.,.],.],[.,.]]]=>12
[[.,.],[[.,[.,[.,.]]],.]]=>16
[[.,.],[[.,[[.,.],.]],.]]=>16
[[.,.],[[[.,.],[.,.]],.]]=>12
[[.,.],[[[.,[.,.]],.],.]]=>16
[[.,.],[[[[.,.],.],.],.]]=>16
[[.,[.,.]],[.,[.,[.,.]]]]=>13
[[.,[.,.]],[.,[[.,.],.]]]=>13
[[.,[.,.]],[[.,.],[.,.]]]=>10
[[.,[.,.]],[[.,[.,.]],.]]=>13
[[.,[.,.]],[[[.,.],.],.]]=>13
[[[.,.],.],[.,[.,[.,.]]]]=>13
[[[.,.],.],[.,[[.,.],.]]]=>13
[[[.,.],.],[[.,.],[.,.]]]=>10
[[[.,.],.],[[.,[.,.]],.]]=>13
[[[.,.],.],[[[.,.],.],.]]=>13
[[.,[.,[.,.]]],[.,[.,.]]]=>13
[[.,[.,[.,.]]],[[.,.],.]]=>13
[[.,[[.,.],.]],[.,[.,.]]]=>13
[[.,[[.,.],.]],[[.,.],.]]=>13
[[[.,.],[.,.]],[.,[.,.]]]=>10
[[[.,.],[.,.]],[[.,.],.]]=>10
[[[.,[.,.]],.],[.,[.,.]]]=>13
[[[.,[.,.]],.],[[.,.],.]]=>13
[[[[.,.],.],.],[.,[.,.]]]=>13
[[[[.,.],.],.],[[.,.],.]]=>13
[[.,[.,[.,[.,.]]]],[.,.]]=>16
[[.,[.,[[.,.],.]]],[.,.]]=>16
[[.,[[.,.],[.,.]]],[.,.]]=>12
[[.,[[.,[.,.]],.]],[.,.]]=>16
[[.,[[[.,.],.],.]],[.,.]]=>16
[[[.,.],[.,[.,.]]],[.,.]]=>12
[[[.,.],[[.,.],.]],[.,.]]=>12
[[[.,[.,.]],[.,.]],[.,.]]=>12
[[[[.,.],.],[.,.]],[.,.]]=>12
[[[.,[.,[.,.]]],.],[.,.]]=>16
[[[.,[[.,.],.]],.],[.,.]]=>16
[[[[.,.],[.,.]],.],[.,.]]=>12
[[[[.,[.,.]],.],.],[.,.]]=>16
[[[[[.,.],.],.],.],[.,.]]=>16
[[.,[.,[.,[.,[.,.]]]]],.]=>21
[[.,[.,[.,[[.,.],.]]]],.]=>21
[[.,[.,[[.,.],[.,.]]]],.]=>16
[[.,[.,[[.,[.,.]],.]]],.]=>21
[[.,[.,[[[.,.],.],.]]],.]=>21
[[.,[[.,.],[.,[.,.]]]],.]=>16
[[.,[[.,.],[[.,.],.]]],.]=>16
[[.,[[.,[.,.]],[.,.]]],.]=>16
[[.,[[[.,.],.],[.,.]]],.]=>16
[[.,[[.,[.,[.,.]]],.]],.]=>21
[[.,[[.,[[.,.],.]],.]],.]=>21
[[.,[[[.,.],[.,.]],.]],.]=>16
[[.,[[[.,[.,.]],.],.]],.]=>21
[[.,[[[[.,.],.],.],.]],.]=>21
[[[.,.],[.,[.,[.,.]]]],.]=>16
[[[.,.],[.,[[.,.],.]]],.]=>16
[[[.,.],[[.,.],[.,.]]],.]=>12
[[[.,.],[[.,[.,.]],.]],.]=>16
[[[.,.],[[[.,.],.],.]],.]=>16
[[[.,[.,.]],[.,[.,.]]],.]=>13
[[[.,[.,.]],[[.,.],.]],.]=>13
[[[[.,.],.],[.,[.,.]]],.]=>13
[[[[.,.],.],[[.,.],.]],.]=>13
[[[.,[.,[.,.]]],[.,.]],.]=>16
[[[.,[[.,.],.]],[.,.]],.]=>16
[[[[.,.],[.,.]],[.,.]],.]=>12
[[[[.,[.,.]],.],[.,.]],.]=>16
[[[[[.,.],.],.],[.,.]],.]=>16
[[[.,[.,[.,[.,.]]]],.],.]=>21
[[[.,[.,[[.,.],.]]],.],.]=>21
[[[.,[[.,.],[.,.]]],.],.]=>16
[[[.,[[.,[.,.]],.]],.],.]=>21
[[[.,[[[.,.],.],.]],.],.]=>21
[[[[.,.],[.,[.,.]]],.],.]=>16
[[[[.,.],[[.,.],.]],.],.]=>16
[[[[.,[.,.]],[.,.]],.],.]=>16
[[[[[.,.],.],[.,.]],.],.]=>16
[[[[.,[.,[.,.]]],.],.],.]=>21
[[[[.,[[.,.],.]],.],.],.]=>21
[[[[[.,.],[.,.]],.],.],.]=>16
[[[[[.,[.,.]],.],.],.],.]=>21
[[[[[[.,.],.],.],.],.],.]=>21
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>28
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>28
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>22
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>28
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>28
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>22
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>22
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>22
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>22
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>28
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>28
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>22
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>28
[.,[.,[.,[[[[.,.],.],.],.]]]]=>28
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>22
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>22
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>17
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>22
[.,[.,[[.,.],[[[.,.],.],.]]]]=>22
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>18
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>18
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>18
[.,[.,[[[.,.],.],[[.,.],.]]]]=>18
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>22
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>22
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>17
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>22
[.,[.,[[[[.,.],.],.],[.,.]]]]=>22
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>28
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>28
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>22
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>28
[.,[.,[[.,[[[.,.],.],.]],.]]]=>28
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>22
[.,[.,[[[.,.],[[.,.],.]],.]]]=>22
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>22
[.,[.,[[[[.,.],.],[.,.]],.]]]=>22
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>28
[.,[.,[[[.,[[.,.],.]],.],.]]]=>28
[.,[.,[[[[.,.],[.,.]],.],.]]]=>22
[.,[.,[[[[.,[.,.]],.],.],.]]]=>28
[.,[.,[[[[[.,.],.],.],.],.]]]=>28
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>22
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>22
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>17
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>22
[.,[[.,.],[.,[[[.,.],.],.]]]]=>22
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>17
[.,[[.,.],[[.,.],[[.,.],.]]]]=>17
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>17
[.,[[.,.],[[[.,.],.],[.,.]]]]=>17
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>22
[.,[[.,.],[[.,[[.,.],.]],.]]]=>22
[.,[[.,.],[[[.,.],[.,.]],.]]]=>17
[.,[[.,.],[[[.,[.,.]],.],.]]]=>22
[.,[[.,.],[[[[.,.],.],.],.]]]=>22
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>18
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>18
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>14
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>18
[.,[[.,[.,.]],[[[.,.],.],.]]]=>18
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>18
[.,[[[.,.],.],[.,[[.,.],.]]]]=>18
[.,[[[.,.],.],[[.,.],[.,.]]]]=>14
[.,[[[.,.],.],[[.,[.,.]],.]]]=>18
[.,[[[.,.],.],[[[.,.],.],.]]]=>18
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>18
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>18
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>18
[.,[[.,[[.,.],.]],[[.,.],.]]]=>18
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>14
[.,[[[.,.],[.,.]],[[.,.],.]]]=>14
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>18
[.,[[[.,[.,.]],.],[[.,.],.]]]=>18
[.,[[[[.,.],.],.],[.,[.,.]]]]=>18
[.,[[[[.,.],.],.],[[.,.],.]]]=>18
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>22
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>22
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>17
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>22
[.,[[.,[[[.,.],.],.]],[.,.]]]=>22
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>17
[.,[[[.,.],[[.,.],.]],[.,.]]]=>17
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>17
[.,[[[[.,.],.],[.,.]],[.,.]]]=>17
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>22
[.,[[[.,[[.,.],.]],.],[.,.]]]=>22
[.,[[[[.,.],[.,.]],.],[.,.]]]=>17
[.,[[[[.,[.,.]],.],.],[.,.]]]=>22
[.,[[[[[.,.],.],.],.],[.,.]]]=>22
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>28
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>28
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>22
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>28
[.,[[.,[.,[[[.,.],.],.]]],.]]=>28
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>22
[.,[[.,[[.,.],[[.,.],.]]],.]]=>22
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>22
[.,[[.,[[[.,.],.],[.,.]]],.]]=>22
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>28
[.,[[.,[[.,[[.,.],.]],.]],.]]=>28
[.,[[.,[[[.,.],[.,.]],.]],.]]=>22
[.,[[.,[[[.,[.,.]],.],.]],.]]=>28
[.,[[.,[[[[.,.],.],.],.]],.]]=>28
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>22
[.,[[[.,.],[.,[[.,.],.]]],.]]=>22
[.,[[[.,.],[[.,.],[.,.]]],.]]=>17
[.,[[[.,.],[[.,[.,.]],.]],.]]=>22
[.,[[[.,.],[[[.,.],.],.]],.]]=>22
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>18
[.,[[[.,[.,.]],[[.,.],.]],.]]=>18
[.,[[[[.,.],.],[.,[.,.]]],.]]=>18
[.,[[[[.,.],.],[[.,.],.]],.]]=>18
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>22
[.,[[[.,[[.,.],.]],[.,.]],.]]=>22
[.,[[[[.,.],[.,.]],[.,.]],.]]=>17
[.,[[[[.,[.,.]],.],[.,.]],.]]=>22
[.,[[[[[.,.],.],.],[.,.]],.]]=>22
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>28
[.,[[[.,[.,[[.,.],.]]],.],.]]=>28
[.,[[[.,[[.,.],[.,.]]],.],.]]=>22
[.,[[[.,[[.,[.,.]],.]],.],.]]=>28
[.,[[[.,[[[.,.],.],.]],.],.]]=>28
[.,[[[[.,.],[.,[.,.]]],.],.]]=>22
[.,[[[[.,.],[[.,.],.]],.],.]]=>22
[.,[[[[.,[.,.]],[.,.]],.],.]]=>22
[.,[[[[[.,.],.],[.,.]],.],.]]=>22
[.,[[[[.,[.,[.,.]]],.],.],.]]=>28
[.,[[[[.,[[.,.],.]],.],.],.]]=>28
[.,[[[[[.,.],[.,.]],.],.],.]]=>22
[.,[[[[[.,[.,.]],.],.],.],.]]=>28
[.,[[[[[[.,.],.],.],.],.],.]]=>28
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>22
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>22
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>17
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>22
[[.,.],[.,[.,[[[.,.],.],.]]]]=>22
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>17
[[.,.],[.,[[.,.],[[.,.],.]]]]=>17
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>17
[[.,.],[.,[[[.,.],.],[.,.]]]]=>17
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>22
[[.,.],[.,[[.,[[.,.],.]],.]]]=>22
[[.,.],[.,[[[.,.],[.,.]],.]]]=>17
[[.,.],[.,[[[.,[.,.]],.],.]]]=>22
[[.,.],[.,[[[[.,.],.],.],.]]]=>22
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>17
[[.,.],[[.,.],[.,[[.,.],.]]]]=>17
[[.,.],[[.,.],[[.,.],[.,.]]]]=>13
[[.,.],[[.,.],[[.,[.,.]],.]]]=>17
[[.,.],[[.,.],[[[.,.],.],.]]]=>17
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>14
[[.,.],[[.,[.,.]],[[.,.],.]]]=>14
[[.,.],[[[.,.],.],[.,[.,.]]]]=>14
[[.,.],[[[.,.],.],[[.,.],.]]]=>14
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>17
[[.,.],[[.,[[.,.],.]],[.,.]]]=>17
[[.,.],[[[.,.],[.,.]],[.,.]]]=>13
[[.,.],[[[.,[.,.]],.],[.,.]]]=>17
[[.,.],[[[[.,.],.],.],[.,.]]]=>17
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>22
[[.,.],[[.,[.,[[.,.],.]]],.]]=>22
[[.,.],[[.,[[.,.],[.,.]]],.]]=>17
[[.,.],[[.,[[.,[.,.]],.]],.]]=>22
[[.,.],[[.,[[[.,.],.],.]],.]]=>22
[[.,.],[[[.,.],[.,[.,.]]],.]]=>17
[[.,.],[[[.,.],[[.,.],.]],.]]=>17
[[.,.],[[[.,[.,.]],[.,.]],.]]=>17
[[.,.],[[[[.,.],.],[.,.]],.]]=>17
[[.,.],[[[.,[.,[.,.]]],.],.]]=>22
[[.,.],[[[.,[[.,.],.]],.],.]]=>22
[[.,.],[[[[.,.],[.,.]],.],.]]=>17
[[.,.],[[[[.,[.,.]],.],.],.]]=>22
[[.,.],[[[[[.,.],.],.],.],.]]=>22
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>18
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>18
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>14
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>18
[[.,[.,.]],[.,[[[.,.],.],.]]]=>18
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>14
[[.,[.,.]],[[.,.],[[.,.],.]]]=>14
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>14
[[.,[.,.]],[[[.,.],.],[.,.]]]=>14
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>18
[[.,[.,.]],[[.,[[.,.],.]],.]]=>18
[[.,[.,.]],[[[.,.],[.,.]],.]]=>14
[[.,[.,.]],[[[.,[.,.]],.],.]]=>18
[[.,[.,.]],[[[[.,.],.],.],.]]=>18
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>18
[[[.,.],.],[.,[.,[[.,.],.]]]]=>18
[[[.,.],.],[.,[[.,.],[.,.]]]]=>14
[[[.,.],.],[.,[[.,[.,.]],.]]]=>18
[[[.,.],.],[.,[[[.,.],.],.]]]=>18
[[[.,.],.],[[.,.],[.,[.,.]]]]=>14
[[[.,.],.],[[.,.],[[.,.],.]]]=>14
[[[.,.],.],[[.,[.,.]],[.,.]]]=>14
[[[.,.],.],[[[.,.],.],[.,.]]]=>14
[[[.,.],.],[[.,[.,[.,.]]],.]]=>18
[[[.,.],.],[[.,[[.,.],.]],.]]=>18
[[[.,.],.],[[[.,.],[.,.]],.]]=>14
[[[.,.],.],[[[.,[.,.]],.],.]]=>18
[[[.,.],.],[[[[.,.],.],.],.]]=>18
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>16
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>16
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>14
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>16
[[.,[.,[.,.]]],[[[.,.],.],.]]=>16
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>16
[[.,[[.,.],.]],[.,[[.,.],.]]]=>16
[[.,[[.,.],.]],[[.,.],[.,.]]]=>14
[[.,[[.,.],.]],[[.,[.,.]],.]]=>16
[[.,[[.,.],.]],[[[.,.],.],.]]=>16
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>14
[[[.,.],[.,.]],[.,[[.,.],.]]]=>14
[[[.,.],[.,.]],[[.,.],[.,.]]]=>11
[[[.,.],[.,.]],[[.,[.,.]],.]]=>14
[[[.,.],[.,.]],[[[.,.],.],.]]=>14
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>16
[[[.,[.,.]],.],[.,[[.,.],.]]]=>16
[[[.,[.,.]],.],[[.,.],[.,.]]]=>14
[[[.,[.,.]],.],[[.,[.,.]],.]]=>16
[[[.,[.,.]],.],[[[.,.],.],.]]=>16
[[[[.,.],.],.],[.,[.,[.,.]]]]=>16
[[[[.,.],.],.],[.,[[.,.],.]]]=>16
[[[[.,.],.],.],[[.,.],[.,.]]]=>14
[[[[.,.],.],.],[[.,[.,.]],.]]=>16
[[[[.,.],.],.],[[[.,.],.],.]]=>16
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>18
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>18
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>18
[[.,[.,[[.,.],.]]],[[.,.],.]]=>18
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>14
[[.,[[.,.],[.,.]]],[[.,.],.]]=>14
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>18
[[.,[[.,[.,.]],.]],[[.,.],.]]=>18
[[.,[[[.,.],.],.]],[.,[.,.]]]=>18
[[.,[[[.,.],.],.]],[[.,.],.]]=>18
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>14
[[[.,.],[.,[.,.]]],[[.,.],.]]=>14
[[[.,.],[[.,.],.]],[.,[.,.]]]=>14
[[[.,.],[[.,.],.]],[[.,.],.]]=>14
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>14
[[[.,[.,.]],[.,.]],[[.,.],.]]=>14
[[[[.,.],.],[.,.]],[.,[.,.]]]=>14
[[[[.,.],.],[.,.]],[[.,.],.]]=>14
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>18
[[[.,[.,[.,.]]],.],[[.,.],.]]=>18
[[[.,[[.,.],.]],.],[.,[.,.]]]=>18
[[[.,[[.,.],.]],.],[[.,.],.]]=>18
[[[[.,.],[.,.]],.],[.,[.,.]]]=>14
[[[[.,.],[.,.]],.],[[.,.],.]]=>14
[[[[.,[.,.]],.],.],[.,[.,.]]]=>18
[[[[.,[.,.]],.],.],[[.,.],.]]=>18
[[[[[.,.],.],.],.],[.,[.,.]]]=>18
[[[[[.,.],.],.],.],[[.,.],.]]=>18
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>22
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>22
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>17
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>22
[[.,[.,[[[.,.],.],.]]],[.,.]]=>22
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>17
[[.,[[.,.],[[.,.],.]]],[.,.]]=>17
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>17
[[.,[[[.,.],.],[.,.]]],[.,.]]=>17
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>22
[[.,[[.,[[.,.],.]],.]],[.,.]]=>22
[[.,[[[.,.],[.,.]],.]],[.,.]]=>17
[[.,[[[.,[.,.]],.],.]],[.,.]]=>22
[[.,[[[[.,.],.],.],.]],[.,.]]=>22
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>17
[[[.,.],[.,[[.,.],.]]],[.,.]]=>17
[[[.,.],[[.,.],[.,.]]],[.,.]]=>13
[[[.,.],[[.,[.,.]],.]],[.,.]]=>17
[[[.,.],[[[.,.],.],.]],[.,.]]=>17
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>14
[[[.,[.,.]],[[.,.],.]],[.,.]]=>14
[[[[.,.],.],[.,[.,.]]],[.,.]]=>14
[[[[.,.],.],[[.,.],.]],[.,.]]=>14
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>17
[[[.,[[.,.],.]],[.,.]],[.,.]]=>17
[[[[.,.],[.,.]],[.,.]],[.,.]]=>13
[[[[.,[.,.]],.],[.,.]],[.,.]]=>17
[[[[[.,.],.],.],[.,.]],[.,.]]=>17
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>22
[[[.,[.,[[.,.],.]]],.],[.,.]]=>22
[[[.,[[.,.],[.,.]]],.],[.,.]]=>17
[[[.,[[.,[.,.]],.]],.],[.,.]]=>22
[[[.,[[[.,.],.],.]],.],[.,.]]=>22
[[[[.,.],[.,[.,.]]],.],[.,.]]=>17
[[[[.,.],[[.,.],.]],.],[.,.]]=>17
[[[[.,[.,.]],[.,.]],.],[.,.]]=>17
[[[[[.,.],.],[.,.]],.],[.,.]]=>17
[[[[.,[.,[.,.]]],.],.],[.,.]]=>22
[[[[.,[[.,.],.]],.],.],[.,.]]=>22
[[[[[.,.],[.,.]],.],.],[.,.]]=>17
[[[[[.,[.,.]],.],.],.],[.,.]]=>22
[[[[[[.,.],.],.],.],.],[.,.]]=>22
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>28
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>28
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>22
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>28
[[.,[.,[.,[[[.,.],.],.]]]],.]=>28
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>22
[[.,[.,[[.,.],[[.,.],.]]]],.]=>22
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>22
[[.,[.,[[[.,.],.],[.,.]]]],.]=>22
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>28
[[.,[.,[[.,[[.,.],.]],.]]],.]=>28
[[.,[.,[[[.,.],[.,.]],.]]],.]=>22
[[.,[.,[[[.,[.,.]],.],.]]],.]=>28
[[.,[.,[[[[.,.],.],.],.]]],.]=>28
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>22
[[.,[[.,.],[.,[[.,.],.]]]],.]=>22
[[.,[[.,.],[[.,.],[.,.]]]],.]=>17
[[.,[[.,.],[[.,[.,.]],.]]],.]=>22
[[.,[[.,.],[[[.,.],.],.]]],.]=>22
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>18
[[.,[[.,[.,.]],[[.,.],.]]],.]=>18
[[.,[[[.,.],.],[.,[.,.]]]],.]=>18
[[.,[[[.,.],.],[[.,.],.]]],.]=>18
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>22
[[.,[[.,[[.,.],.]],[.,.]]],.]=>22
[[.,[[[.,.],[.,.]],[.,.]]],.]=>17
[[.,[[[.,[.,.]],.],[.,.]]],.]=>22
[[.,[[[[.,.],.],.],[.,.]]],.]=>22
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>28
[[.,[[.,[.,[[.,.],.]]],.]],.]=>28
[[.,[[.,[[.,.],[.,.]]],.]],.]=>22
[[.,[[.,[[.,[.,.]],.]],.]],.]=>28
[[.,[[.,[[[.,.],.],.]],.]],.]=>28
[[.,[[[.,.],[.,[.,.]]],.]],.]=>22
[[.,[[[.,.],[[.,.],.]],.]],.]=>22
[[.,[[[.,[.,.]],[.,.]],.]],.]=>22
[[.,[[[[.,.],.],[.,.]],.]],.]=>22
[[.,[[[.,[.,[.,.]]],.],.]],.]=>28
[[.,[[[.,[[.,.],.]],.],.]],.]=>28
[[.,[[[[.,.],[.,.]],.],.]],.]=>22
[[.,[[[[.,[.,.]],.],.],.]],.]=>28
[[.,[[[[[.,.],.],.],.],.]],.]=>28
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>22
[[[.,.],[.,[.,[[.,.],.]]]],.]=>22
[[[.,.],[.,[[.,.],[.,.]]]],.]=>17
[[[.,.],[.,[[.,[.,.]],.]]],.]=>22
[[[.,.],[.,[[[.,.],.],.]]],.]=>22
[[[.,.],[[.,.],[.,[.,.]]]],.]=>17
[[[.,.],[[.,.],[[.,.],.]]],.]=>17
[[[.,.],[[.,[.,.]],[.,.]]],.]=>17
[[[.,.],[[[.,.],.],[.,.]]],.]=>17
[[[.,.],[[.,[.,[.,.]]],.]],.]=>22
[[[.,.],[[.,[[.,.],.]],.]],.]=>22
[[[.,.],[[[.,.],[.,.]],.]],.]=>17
[[[.,.],[[[.,[.,.]],.],.]],.]=>22
[[[.,.],[[[[.,.],.],.],.]],.]=>22
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>18
[[[.,[.,.]],[.,[[.,.],.]]],.]=>18
[[[.,[.,.]],[[.,.],[.,.]]],.]=>14
[[[.,[.,.]],[[.,[.,.]],.]],.]=>18
[[[.,[.,.]],[[[.,.],.],.]],.]=>18
[[[[.,.],.],[.,[.,[.,.]]]],.]=>18
[[[[.,.],.],[.,[[.,.],.]]],.]=>18
[[[[.,.],.],[[.,.],[.,.]]],.]=>14
[[[[.,.],.],[[.,[.,.]],.]],.]=>18
[[[[.,.],.],[[[.,.],.],.]],.]=>18
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>18
[[[.,[.,[.,.]]],[[.,.],.]],.]=>18
[[[.,[[.,.],.]],[.,[.,.]]],.]=>18
[[[.,[[.,.],.]],[[.,.],.]],.]=>18
[[[[.,.],[.,.]],[.,[.,.]]],.]=>14
[[[[.,.],[.,.]],[[.,.],.]],.]=>14
[[[[.,[.,.]],.],[.,[.,.]]],.]=>18
[[[[.,[.,.]],.],[[.,.],.]],.]=>18
[[[[[.,.],.],.],[.,[.,.]]],.]=>18
[[[[[.,.],.],.],[[.,.],.]],.]=>18
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>22
[[[.,[.,[[.,.],.]]],[.,.]],.]=>22
[[[.,[[.,.],[.,.]]],[.,.]],.]=>17
[[[.,[[.,[.,.]],.]],[.,.]],.]=>22
[[[.,[[[.,.],.],.]],[.,.]],.]=>22
[[[[.,.],[.,[.,.]]],[.,.]],.]=>17
[[[[.,.],[[.,.],.]],[.,.]],.]=>17
[[[[.,[.,.]],[.,.]],[.,.]],.]=>17
[[[[[.,.],.],[.,.]],[.,.]],.]=>17
[[[[.,[.,[.,.]]],.],[.,.]],.]=>22
[[[[.,[[.,.],.]],.],[.,.]],.]=>22
[[[[[.,.],[.,.]],.],[.,.]],.]=>17
[[[[[.,[.,.]],.],.],[.,.]],.]=>22
[[[[[[.,.],.],.],.],[.,.]],.]=>22
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>28
[[[.,[.,[.,[[.,.],.]]]],.],.]=>28
[[[.,[.,[[.,.],[.,.]]]],.],.]=>22
[[[.,[.,[[.,[.,.]],.]]],.],.]=>28
[[[.,[.,[[[.,.],.],.]]],.],.]=>28
[[[.,[[.,.],[.,[.,.]]]],.],.]=>22
[[[.,[[.,.],[[.,.],.]]],.],.]=>22
[[[.,[[.,[.,.]],[.,.]]],.],.]=>22
[[[.,[[[.,.],.],[.,.]]],.],.]=>22
[[[.,[[.,[.,[.,.]]],.]],.],.]=>28
[[[.,[[.,[[.,.],.]],.]],.],.]=>28
[[[.,[[[.,.],[.,.]],.]],.],.]=>22
[[[.,[[[.,[.,.]],.],.]],.],.]=>28
[[[.,[[[[.,.],.],.],.]],.],.]=>28
[[[[.,.],[.,[.,[.,.]]]],.],.]=>22
[[[[.,.],[.,[[.,.],.]]],.],.]=>22
[[[[.,.],[[.,.],[.,.]]],.],.]=>17
[[[[.,.],[[.,[.,.]],.]],.],.]=>22
[[[[.,.],[[[.,.],.],.]],.],.]=>22
[[[[.,[.,.]],[.,[.,.]]],.],.]=>18
[[[[.,[.,.]],[[.,.],.]],.],.]=>18
[[[[[.,.],.],[.,[.,.]]],.],.]=>18
[[[[[.,.],.],[[.,.],.]],.],.]=>18
[[[[.,[.,[.,.]]],[.,.]],.],.]=>22
[[[[.,[[.,.],.]],[.,.]],.],.]=>22
[[[[[.,.],[.,.]],[.,.]],.],.]=>17
[[[[[.,[.,.]],.],[.,.]],.],.]=>22
[[[[[[.,.],.],.],[.,.]],.],.]=>22
[[[[.,[.,[.,[.,.]]]],.],.],.]=>28
[[[[.,[.,[[.,.],.]]],.],.],.]=>28
[[[[.,[[.,.],[.,.]]],.],.],.]=>22
[[[[.,[[.,[.,.]],.]],.],.],.]=>28
[[[[.,[[[.,.],.],.]],.],.],.]=>28
[[[[[.,.],[.,[.,.]]],.],.],.]=>22
[[[[[.,.],[[.,.],.]],.],.],.]=>22
[[[[[.,[.,.]],[.,.]],.],.],.]=>22
[[[[[[.,.],.],[.,.]],.],.],.]=>22
[[[[[.,[.,[.,.]]],.],.],.],.]=>28
[[[[[.,[[.,.],.]],.],.],.],.]=>28
[[[[[[.,.],[.,.]],.],.],.],.]=>22
[[[[[[.,[.,.]],.],.],.],.],.]=>28
[[[[[[[.,.],.],.],.],.],.],.]=>28
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>36
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>36
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>29
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>36
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]=>36
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]]=>29
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]]=>29
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]]=>29
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]]=>29
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>36
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>36
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>29
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>36
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>36
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>29
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>29
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]]=>23
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>29
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>29
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]]=>24
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]]=>24
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]]=>24
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]]=>24
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>29
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>29
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]]=>23
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>29
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>29
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>36
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>36
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>29
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>36
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>36
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]]=>29
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]]=>29
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]]=>29
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>29
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>36
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>36
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>29
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>36
[.,[.,[.,[[[[[.,.],.],.],.],.]]]]=>36
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]]=>29
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]]=>29
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]]=>23
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]]=>29
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]]=>29
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>23
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]]=>23
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]]=>23
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]]=>23
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]]=>29
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]]=>29
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]]=>23
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]]=>29
[.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>29
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]]=>24
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]]=>24
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]]=>19
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]]=>24
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]]=>24
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]]=>24
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]]=>24
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]]=>19
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]]=>24
[.,[.,[[[.,.],.],[[[.,.],.],.]]]]=>24
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]]=>24
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]]=>24
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]]=>24
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]]=>24
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]]=>19
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]]=>19
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]]=>24
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]]=>24
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]]=>24
[.,[.,[[[[.,.],.],.],[[.,.],.]]]]=>24
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]]=>29
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]]=>29
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]]=>23
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]]=>29
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]]=>29
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]]=>23
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]]=>23
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]]=>23
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]]=>23
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]]=>29
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]]=>29
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]]=>23
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]]=>29
[.,[.,[[[[[.,.],.],.],.],[.,.]]]]=>29
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]=>36
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]]=>36
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>29
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]]=>36
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]]=>36
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]]=>29
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]]=>29
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]]=>29
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]]=>29
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>36
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]]=>36
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>29
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>36
[.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>36
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>29
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>29
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]]=>23
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>29
[.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>29
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]]=>24
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]]=>24
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]]=>24
[.,[.,[[[[.,.],.],[[.,.],.]],.]]]=>24
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>29
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>29
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]]=>23
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>29
[.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>29
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]=>36
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]]=>36
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>29
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]]=>36
[.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>36
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]]=>29
[.,[.,[[[[.,.],[[.,.],.]],.],.]]]=>29
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]]=>29
[.,[.,[[[[[.,.],.],[.,.]],.],.]]]=>29
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>36
[.,[.,[[[[.,[[.,.],.]],.],.],.]]]=>36
[.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>29
[.,[.,[[[[[.,[.,.]],.],.],.],.]]]=>36
[.,[.,[[[[[[.,.],.],.],.],.],.]]]=>36
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>29
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>29
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>23
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>29
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>29
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>23
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]]=>23
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]]=>23
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]]=>23
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>29
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>29
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]]=>23
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>29
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>29
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]]=>23
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]]=>23
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>18
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]]=>23
[.,[[.,.],[[.,.],[[[.,.],.],.]]]]=>23
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]]=>19
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]]=>19
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]]=>19
[.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>19
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]]=>23
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]]=>23
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]]=>18
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]]=>23
[.,[[.,.],[[[[.,.],.],.],[.,.]]]]=>23
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>29
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>29
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]]=>23
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>29
[.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>29
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]]=>23
[.,[[.,.],[[[.,.],[[.,.],.]],.]]]=>23
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]]=>23
[.,[[.,.],[[[[.,.],.],[.,.]],.]]]=>23
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>29
[.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>29
[.,[[.,.],[[[[.,.],[.,.]],.],.]]]=>23
[.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>29
[.,[[.,.],[[[[[.,.],.],.],.],.]]]=>29
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]]=>24
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]]=>24
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]]=>19
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]]=>24
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]]=>24
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]]=>19
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]]=>19
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]]=>19
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]]=>19
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]]=>24
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]]=>24
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]]=>19
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]]=>24
[.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>24
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]]=>24
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]]=>24
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]]=>19
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]]=>24
[.,[[[.,.],.],[.,[[[.,.],.],.]]]]=>24
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]]=>19
[.,[[[.,.],.],[[.,.],[[.,.],.]]]]=>19
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]]=>19
[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>19
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]]=>24
[.,[[[.,.],.],[[.,[[.,.],.]],.]]]=>24
[.,[[[.,.],.],[[[.,.],[.,.]],.]]]=>19
[.,[[[.,.],.],[[[.,[.,.]],.],.]]]=>24
[.,[[[.,.],.],[[[[.,.],.],.],.]]]=>24
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>21
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>21
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]]=>19
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>21
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>21
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>21
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>21
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]]=>19
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>21
[.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>21
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]]=>19
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]]=>19
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]]=>15
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]]=>19
[.,[[[.,.],[.,.]],[[[.,.],.],.]]]=>19
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>21
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>21
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]]=>19
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>21
[.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>21
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>21
[.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>21
[.,[[[[.,.],.],.],[[.,.],[.,.]]]]=>19
[.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>21
[.,[[[[.,.],.],.],[[[.,.],.],.]]]=>21
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]]=>24
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]]=>24
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]]=>24
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]]=>24
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]]=>19
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]]=>19
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]]=>24
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]]=>24
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]]=>24
[.,[[.,[[[.,.],.],.]],[[.,.],.]]]=>24
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]]=>19
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]]=>19
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]]=>19
[.,[[[.,.],[[.,.],.]],[[.,.],.]]]=>19
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]]=>19
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]]=>19
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]]=>19
[.,[[[[.,.],.],[.,.]],[[.,.],.]]]=>19
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]]=>24
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]]=>24
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]]=>24
[.,[[[.,[[.,.],.]],.],[[.,.],.]]]=>24
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]]=>19
[.,[[[[.,.],[.,.]],.],[[.,.],.]]]=>19
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]]=>24
[.,[[[[.,[.,.]],.],.],[[.,.],.]]]=>24
[.,[[[[[.,.],.],.],.],[.,[.,.]]]]=>24
[.,[[[[[.,.],.],.],.],[[.,.],.]]]=>24
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>29
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>29
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]]=>23
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>29
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>29
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]]=>23
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]]=>23
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]]=>23
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]]=>23
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>29
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>29
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]]=>23
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>29
[.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>29
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]]=>23
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]]=>23
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]]=>18
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]]=>23
[.,[[[.,.],[[[.,.],.],.]],[.,.]]]=>23
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]]=>19
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]]=>19
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]]=>19
[.,[[[[.,.],.],[[.,.],.]],[.,.]]]=>19
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]]=>23
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]]=>23
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]]=>18
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]]=>23
[.,[[[[[.,.],.],.],[.,.]],[.,.]]]=>23
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>29
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>29
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]]=>23
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>29
[.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>29
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]]=>23
[.,[[[[.,.],[[.,.],.]],.],[.,.]]]=>23
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]]=>23
[.,[[[[[.,.],.],[.,.]],.],[.,.]]]=>23
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>29
[.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>29
[.,[[[[[.,.],[.,.]],.],.],[.,.]]]=>23
[.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>29
[.,[[[[[[.,.],.],.],.],.],[.,.]]]=>29
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]=>36
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>36
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>29
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>36
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]]=>36
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]]=>29
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]]=>29
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]]=>29
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]]=>29
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>36
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]]=>36
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>29
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]]=>36
[.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>36
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>29
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>29
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>23
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>29
[.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>29
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]]=>24
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]]=>24
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]]=>24
[.,[[.,[[[.,.],.],[[.,.],.]]],.]]=>24
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>29
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>29
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]]=>23
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>29
[.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>29
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>36
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]]=>36
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>29
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>36
[.,[[.,[[.,[[[.,.],.],.]],.]],.]]=>36
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]]=>29
[.,[[.,[[[.,.],[[.,.],.]],.]],.]]=>29
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]]=>29
[.,[[.,[[[[.,.],.],[.,.]],.]],.]]=>29
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]]=>36
[.,[[.,[[[.,[[.,.],.]],.],.]],.]]=>36
[.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>29
[.,[[.,[[[[.,[.,.]],.],.],.]],.]]=>36
[.,[[.,[[[[[.,.],.],.],.],.]],.]]=>36
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]]=>29
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]]=>29
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]]=>23
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]]=>29
[.,[[[.,.],[.,[[[.,.],.],.]]],.]]=>29
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]]=>23
[.,[[[.,.],[[.,.],[[.,.],.]]],.]]=>23
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]]=>23
[.,[[[.,.],[[[.,.],.],[.,.]]],.]]=>23
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]]=>29
[.,[[[.,.],[[.,[[.,.],.]],.]],.]]=>29
[.,[[[.,.],[[[.,.],[.,.]],.]],.]]=>23
[.,[[[.,.],[[[.,[.,.]],.],.]],.]]=>29
[.,[[[.,.],[[[[.,.],.],.],.]],.]]=>29
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]]=>24
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]]=>24
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]]=>19
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]]=>24
[.,[[[.,[.,.]],[[[.,.],.],.]],.]]=>24
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]]=>24
[.,[[[[.,.],.],[.,[[.,.],.]]],.]]=>24
[.,[[[[.,.],.],[[.,.],[.,.]]],.]]=>19
[.,[[[[.,.],.],[[.,[.,.]],.]],.]]=>24
[.,[[[[.,.],.],[[[.,.],.],.]],.]]=>24
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]]=>24
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]]=>24
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]]=>24
[.,[[[.,[[.,.],.]],[[.,.],.]],.]]=>24
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]]=>19
[.,[[[[.,.],[.,.]],[[.,.],.]],.]]=>19
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]]=>24
[.,[[[[.,[.,.]],.],[[.,.],.]],.]]=>24
[.,[[[[[.,.],.],.],[.,[.,.]]],.]]=>24
[.,[[[[[.,.],.],.],[[.,.],.]],.]]=>24
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]]=>29
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]]=>29
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]]=>23
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]]=>29
[.,[[[.,[[[.,.],.],.]],[.,.]],.]]=>29
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]]=>23
[.,[[[[.,.],[[.,.],.]],[.,.]],.]]=>23
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]]=>23
[.,[[[[[.,.],.],[.,.]],[.,.]],.]]=>23
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]]=>29
[.,[[[[.,[[.,.],.]],.],[.,.]],.]]=>29
[.,[[[[[.,.],[.,.]],.],[.,.]],.]]=>23
[.,[[[[[.,[.,.]],.],.],[.,.]],.]]=>29
[.,[[[[[[.,.],.],.],.],[.,.]],.]]=>29
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]=>36
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]]=>36
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>29
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]]=>36
[.,[[[.,[.,[[[.,.],.],.]]],.],.]]=>36
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]]=>29
[.,[[[.,[[.,.],[[.,.],.]]],.],.]]=>29
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]]=>29
[.,[[[.,[[[.,.],.],[.,.]]],.],.]]=>29
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]]=>36
[.,[[[.,[[.,[[.,.],.]],.]],.],.]]=>36
[.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>29
[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>36
[.,[[[.,[[[[.,.],.],.],.]],.],.]]=>36
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>29
[.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>29
[.,[[[[.,.],[[.,.],[.,.]]],.],.]]=>23
[.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>29
[.,[[[[.,.],[[[.,.],.],.]],.],.]]=>29
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]]=>24
[.,[[[[.,[.,.]],[[.,.],.]],.],.]]=>24
[.,[[[[[.,.],.],[.,[.,.]]],.],.]]=>24
[.,[[[[[.,.],.],[[.,.],.]],.],.]]=>24
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>29
[.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>29
[.,[[[[[.,.],[.,.]],[.,.]],.],.]]=>23
[.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>29
[.,[[[[[[.,.],.],.],[.,.]],.],.]]=>29
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]]=>36
[.,[[[[.,[.,[[.,.],.]]],.],.],.]]=>36
[.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>29
[.,[[[[.,[[.,[.,.]],.]],.],.],.]]=>36
[.,[[[[.,[[[.,.],.],.]],.],.],.]]=>36
[.,[[[[[.,.],[.,[.,.]]],.],.],.]]=>29
[.,[[[[[.,.],[[.,.],.]],.],.],.]]=>29
[.,[[[[[.,[.,.]],[.,.]],.],.],.]]=>29
[.,[[[[[[.,.],.],[.,.]],.],.],.]]=>29
[.,[[[[[.,[.,[.,.]]],.],.],.],.]]=>36
[.,[[[[[.,[[.,.],.]],.],.],.],.]]=>36
[.,[[[[[[.,.],[.,.]],.],.],.],.]]=>29
[.,[[[[[[.,[.,.]],.],.],.],.],.]]=>36
[.,[[[[[[[.,.],.],.],.],.],.],.]]=>36
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]]=>29
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>29
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>23
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]]=>29
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]]=>29
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>23
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]]=>23
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]]=>23
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]]=>23
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]]=>29
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]]=>29
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>23
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>29
[[.,.],[.,[.,[[[[.,.],.],.],.]]]]=>29
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>23
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>23
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]]=>18
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>23
[[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>23
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]]=>19
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]]=>19
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]]=>19
[[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>19
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>23
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>23
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]]=>18
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>23
[[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>23
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]]=>29
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]]=>29
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>23
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]]=>29
[[.,.],[.,[[.,[[[.,.],.],.]],.]]]=>29
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]]=>23
[[.,.],[.,[[[.,.],[[.,.],.]],.]]]=>23
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]]=>23
[[.,.],[.,[[[[.,.],.],[.,.]],.]]]=>23
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]]=>29
[[.,.],[.,[[[.,[[.,.],.]],.],.]]]=>29
[[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>23
[[.,.],[.,[[[[.,[.,.]],.],.],.]]]=>29
[[.,.],[.,[[[[[.,.],.],.],.],.]]]=>29
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]]=>23
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]]=>23
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]]=>18
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]]=>23
[[.,.],[[.,.],[.,[[[.,.],.],.]]]]=>23
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]]=>18
[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>18
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]]=>18
[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>18
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]]=>23
[[.,.],[[.,.],[[.,[[.,.],.]],.]]]=>23
[[.,.],[[.,.],[[[.,.],[.,.]],.]]]=>18
[[.,.],[[.,.],[[[.,[.,.]],.],.]]]=>23
[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>23
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]]=>19
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]]=>19
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]]=>15
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]]=>19
[[.,.],[[.,[.,.]],[[[.,.],.],.]]]=>19
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]]=>19
[[.,.],[[[.,.],.],[.,[[.,.],.]]]]=>19
[[.,.],[[[.,.],.],[[.,.],[.,.]]]]=>15
[[.,.],[[[.,.],.],[[.,[.,.]],.]]]=>19
[[.,.],[[[.,.],.],[[[.,.],.],.]]]=>19
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]]=>19
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]]=>19
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]]=>19
[[.,.],[[.,[[.,.],.]],[[.,.],.]]]=>19
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]]=>15
[[.,.],[[[.,.],[.,.]],[[.,.],.]]]=>15
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]]=>19
[[.,.],[[[.,[.,.]],.],[[.,.],.]]]=>19
[[.,.],[[[[.,.],.],.],[.,[.,.]]]]=>19
[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>19
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]]=>23
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]]=>23
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]]=>18
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]]=>23
[[.,.],[[.,[[[.,.],.],.]],[.,.]]]=>23
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]]=>18
[[.,.],[[[.,.],[[.,.],.]],[.,.]]]=>18
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]]=>18
[[.,.],[[[[.,.],.],[.,.]],[.,.]]]=>18
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]]=>23
[[.,.],[[[.,[[.,.],.]],.],[.,.]]]=>23
[[.,.],[[[[.,.],[.,.]],.],[.,.]]]=>18
[[.,.],[[[[.,[.,.]],.],.],[.,.]]]=>23
[[.,.],[[[[[.,.],.],.],.],[.,.]]]=>23
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]]=>29
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]]=>29
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>23
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]]=>29
[[.,.],[[.,[.,[[[.,.],.],.]]],.]]=>29
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]]=>23
[[.,.],[[.,[[.,.],[[.,.],.]]],.]]=>23
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]]=>23
[[.,.],[[.,[[[.,.],.],[.,.]]],.]]=>23
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]]=>29
[[.,.],[[.,[[.,[[.,.],.]],.]],.]]=>29
[[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>23
[[.,.],[[.,[[[.,[.,.]],.],.]],.]]=>29
[[.,.],[[.,[[[[.,.],.],.],.]],.]]=>29
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>23
[[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>23
[[.,.],[[[.,.],[[.,.],[.,.]]],.]]=>18
[[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>23
[[.,.],[[[.,.],[[[.,.],.],.]],.]]=>23
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]]=>19
[[.,.],[[[.,[.,.]],[[.,.],.]],.]]=>19
[[.,.],[[[[.,.],.],[.,[.,.]]],.]]=>19
[[.,.],[[[[.,.],.],[[.,.],.]],.]]=>19
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>23
[[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>23
[[.,.],[[[[.,.],[.,.]],[.,.]],.]]=>18
[[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>23
[[.,.],[[[[[.,.],.],.],[.,.]],.]]=>23
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]]=>29
[[.,.],[[[.,[.,[[.,.],.]]],.],.]]=>29
[[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>23
[[.,.],[[[.,[[.,[.,.]],.]],.],.]]=>29
[[.,.],[[[.,[[[.,.],.],.]],.],.]]=>29
[[.,.],[[[[.,.],[.,[.,.]]],.],.]]=>23
[[.,.],[[[[.,.],[[.,.],.]],.],.]]=>23
[[.,.],[[[[.,[.,.]],[.,.]],.],.]]=>23
[[.,.],[[[[[.,.],.],[.,.]],.],.]]=>23
[[.,.],[[[[.,[.,[.,.]]],.],.],.]]=>29
[[.,.],[[[[.,[[.,.],.]],.],.],.]]=>29
[[.,.],[[[[[.,.],[.,.]],.],.],.]]=>23
[[.,.],[[[[[.,[.,.]],.],.],.],.]]=>29
[[.,.],[[[[[[.,.],.],.],.],.],.]]=>29
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>24
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]]=>24
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>19
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]]=>24
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]]=>24
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]]=>19
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]]=>19
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]]=>19
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]]=>19
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]]=>24
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]]=>24
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>19
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]]=>24
[[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>24
[[.,[.,.]],[[.,.],[.,[.,[.,.]]]]]=>19
                    

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

click to show known generating functions

Description

The sum of the heights of the vertices of a binary tree.
The height of a vertex is the number of edges to a leaf, see [3].

References

[1] wikipedia:Tree (data_structure)
[2] The depth or height of a binary tree. St000050
[3] The sum of the depths of the vertices (or total internal path length) of a binary tree. St000398
[4] The external path length of a binary tree. St000399
[5] The path length of an ordered tree. St000400

Code

def height(T):
    if not T:
        return 0
    else:
        return 1 + max(height(T[0]),height(T[1]))

def statistic(T):
    if not T:
        return 0
    else:
        return height(T) + statistic(T[0]) + statistic(T[1])

Created

Aug 09, 2016 at 11:27 by Christian Stump

Updated

Aug 10, 2016 at 11:38 by Christian Stump