Identifier
- St000399: Binary trees ⟶ ℤ
Values
=>
Cc0010;cc-rep
[.,.]=>2
[.,[.,.]]=>5
[[.,.],.]=>5
[.,[.,[.,.]]]=>9
[.,[[.,.],.]]=>9
[[.,.],[.,.]]=>8
[[.,[.,.]],.]=>9
[[[.,.],.],.]=>9
[.,[.,[.,[.,.]]]]=>14
[.,[.,[[.,.],.]]]=>14
[.,[[.,.],[.,.]]]=>13
[.,[[.,[.,.]],.]]=>14
[.,[[[.,.],.],.]]=>14
[[.,.],[.,[.,.]]]=>12
[[.,.],[[.,.],.]]=>12
[[.,[.,.]],[.,.]]=>12
[[[.,.],.],[.,.]]=>12
[[.,[.,[.,.]]],.]=>14
[[.,[[.,.],.]],.]=>14
[[[.,.],[.,.]],.]=>13
[[[.,[.,.]],.],.]=>14
[[[[.,.],.],.],.]=>14
[.,[.,[.,[.,[.,.]]]]]=>20
[.,[.,[.,[[.,.],.]]]]=>20
[.,[.,[[.,.],[.,.]]]]=>19
[.,[.,[[.,[.,.]],.]]]=>20
[.,[.,[[[.,.],.],.]]]=>20
[.,[[.,.],[.,[.,.]]]]=>18
[.,[[.,.],[[.,.],.]]]=>18
[.,[[.,[.,.]],[.,.]]]=>18
[.,[[[.,.],.],[.,.]]]=>18
[.,[[.,[.,[.,.]]],.]]=>20
[.,[[.,[[.,.],.]],.]]=>20
[.,[[[.,.],[.,.]],.]]=>19
[.,[[[.,[.,.]],.],.]]=>20
[.,[[[[.,.],.],.],.]]=>20
[[.,.],[.,[.,[.,.]]]]=>17
[[.,.],[.,[[.,.],.]]]=>17
[[.,.],[[.,.],[.,.]]]=>16
[[.,.],[[.,[.,.]],.]]=>17
[[.,.],[[[.,.],.],.]]=>17
[[.,[.,.]],[.,[.,.]]]=>16
[[.,[.,.]],[[.,.],.]]=>16
[[[.,.],.],[.,[.,.]]]=>16
[[[.,.],.],[[.,.],.]]=>16
[[.,[.,[.,.]]],[.,.]]=>17
[[.,[[.,.],.]],[.,.]]=>17
[[[.,.],[.,.]],[.,.]]=>16
[[[.,[.,.]],.],[.,.]]=>17
[[[[.,.],.],.],[.,.]]=>17
[[.,[.,[.,[.,.]]]],.]=>20
[[.,[.,[[.,.],.]]],.]=>20
[[.,[[.,.],[.,.]]],.]=>19
[[.,[[.,[.,.]],.]],.]=>20
[[.,[[[.,.],.],.]],.]=>20
[[[.,.],[.,[.,.]]],.]=>18
[[[.,.],[[.,.],.]],.]=>18
[[[.,[.,.]],[.,.]],.]=>18
[[[[.,.],.],[.,.]],.]=>18
[[[.,[.,[.,.]]],.],.]=>20
[[[.,[[.,.],.]],.],.]=>20
[[[[.,.],[.,.]],.],.]=>19
[[[[.,[.,.]],.],.],.]=>20
[[[[[.,.],.],.],.],.]=>20
[.,[.,[.,[.,[.,[.,.]]]]]]=>27
[.,[.,[.,[.,[[.,.],.]]]]]=>27
[.,[.,[.,[[.,.],[.,.]]]]]=>26
[.,[.,[.,[[.,[.,.]],.]]]]=>27
[.,[.,[.,[[[.,.],.],.]]]]=>27
[.,[.,[[.,.],[.,[.,.]]]]]=>25
[.,[.,[[.,.],[[.,.],.]]]]=>25
[.,[.,[[.,[.,.]],[.,.]]]]=>25
[.,[.,[[[.,.],.],[.,.]]]]=>25
[.,[.,[[.,[.,[.,.]]],.]]]=>27
[.,[.,[[.,[[.,.],.]],.]]]=>27
[.,[.,[[[.,.],[.,.]],.]]]=>26
[.,[.,[[[.,[.,.]],.],.]]]=>27
[.,[.,[[[[.,.],.],.],.]]]=>27
[.,[[.,.],[.,[.,[.,.]]]]]=>24
[.,[[.,.],[.,[[.,.],.]]]]=>24
[.,[[.,.],[[.,.],[.,.]]]]=>23
[.,[[.,.],[[.,[.,.]],.]]]=>24
[.,[[.,.],[[[.,.],.],.]]]=>24
[.,[[.,[.,.]],[.,[.,.]]]]=>23
[.,[[.,[.,.]],[[.,.],.]]]=>23
[.,[[[.,.],.],[.,[.,.]]]]=>23
[.,[[[.,.],.],[[.,.],.]]]=>23
[.,[[.,[.,[.,.]]],[.,.]]]=>24
[.,[[.,[[.,.],.]],[.,.]]]=>24
[.,[[[.,.],[.,.]],[.,.]]]=>23
[.,[[[.,[.,.]],.],[.,.]]]=>24
[.,[[[[.,.],.],.],[.,.]]]=>24
[.,[[.,[.,[.,[.,.]]]],.]]=>27
[.,[[.,[.,[[.,.],.]]],.]]=>27
[.,[[.,[[.,.],[.,.]]],.]]=>26
[.,[[.,[[.,[.,.]],.]],.]]=>27
[.,[[.,[[[.,.],.],.]],.]]=>27
[.,[[[.,.],[.,[.,.]]],.]]=>25
[.,[[[.,.],[[.,.],.]],.]]=>25
[.,[[[.,[.,.]],[.,.]],.]]=>25
[.,[[[[.,.],.],[.,.]],.]]=>25
[.,[[[.,[.,[.,.]]],.],.]]=>27
[.,[[[.,[[.,.],.]],.],.]]=>27
[.,[[[[.,.],[.,.]],.],.]]=>26
[.,[[[[.,[.,.]],.],.],.]]=>27
[.,[[[[[.,.],.],.],.],.]]=>27
[[.,.],[.,[.,[.,[.,.]]]]]=>23
[[.,.],[.,[.,[[.,.],.]]]]=>23
[[.,.],[.,[[.,.],[.,.]]]]=>22
[[.,.],[.,[[.,[.,.]],.]]]=>23
[[.,.],[.,[[[.,.],.],.]]]=>23
[[.,.],[[.,.],[.,[.,.]]]]=>21
[[.,.],[[.,.],[[.,.],.]]]=>21
[[.,.],[[.,[.,.]],[.,.]]]=>21
[[.,.],[[[.,.],.],[.,.]]]=>21
[[.,.],[[.,[.,[.,.]]],.]]=>23
[[.,.],[[.,[[.,.],.]],.]]=>23
[[.,.],[[[.,.],[.,.]],.]]=>22
[[.,.],[[[.,[.,.]],.],.]]=>23
[[.,.],[[[[.,.],.],.],.]]=>23
[[.,[.,.]],[.,[.,[.,.]]]]=>21
[[.,[.,.]],[.,[[.,.],.]]]=>21
[[.,[.,.]],[[.,.],[.,.]]]=>20
[[.,[.,.]],[[.,[.,.]],.]]=>21
[[.,[.,.]],[[[.,.],.],.]]=>21
[[[.,.],.],[.,[.,[.,.]]]]=>21
[[[.,.],.],[.,[[.,.],.]]]=>21
[[[.,.],.],[[.,.],[.,.]]]=>20
[[[.,.],.],[[.,[.,.]],.]]=>21
[[[.,.],.],[[[.,.],.],.]]=>21
[[.,[.,[.,.]]],[.,[.,.]]]=>21
[[.,[.,[.,.]]],[[.,.],.]]=>21
[[.,[[.,.],.]],[.,[.,.]]]=>21
[[.,[[.,.],.]],[[.,.],.]]=>21
[[[.,.],[.,.]],[.,[.,.]]]=>20
[[[.,.],[.,.]],[[.,.],.]]=>20
[[[.,[.,.]],.],[.,[.,.]]]=>21
[[[.,[.,.]],.],[[.,.],.]]=>21
[[[[.,.],.],.],[.,[.,.]]]=>21
[[[[.,.],.],.],[[.,.],.]]=>21
[[.,[.,[.,[.,.]]]],[.,.]]=>23
[[.,[.,[[.,.],.]]],[.,.]]=>23
[[.,[[.,.],[.,.]]],[.,.]]=>22
[[.,[[.,[.,.]],.]],[.,.]]=>23
[[.,[[[.,.],.],.]],[.,.]]=>23
[[[.,.],[.,[.,.]]],[.,.]]=>21
[[[.,.],[[.,.],.]],[.,.]]=>21
[[[.,[.,.]],[.,.]],[.,.]]=>21
[[[[.,.],.],[.,.]],[.,.]]=>21
[[[.,[.,[.,.]]],.],[.,.]]=>23
[[[.,[[.,.],.]],.],[.,.]]=>23
[[[[.,.],[.,.]],.],[.,.]]=>22
[[[[.,[.,.]],.],.],[.,.]]=>23
[[[[[.,.],.],.],.],[.,.]]=>23
[[.,[.,[.,[.,[.,.]]]]],.]=>27
[[.,[.,[.,[[.,.],.]]]],.]=>27
[[.,[.,[[.,.],[.,.]]]],.]=>26
[[.,[.,[[.,[.,.]],.]]],.]=>27
[[.,[.,[[[.,.],.],.]]],.]=>27
[[.,[[.,.],[.,[.,.]]]],.]=>25
[[.,[[.,.],[[.,.],.]]],.]=>25
[[.,[[.,[.,.]],[.,.]]],.]=>25
[[.,[[[.,.],.],[.,.]]],.]=>25
[[.,[[.,[.,[.,.]]],.]],.]=>27
[[.,[[.,[[.,.],.]],.]],.]=>27
[[.,[[[.,.],[.,.]],.]],.]=>26
[[.,[[[.,[.,.]],.],.]],.]=>27
[[.,[[[[.,.],.],.],.]],.]=>27
[[[.,.],[.,[.,[.,.]]]],.]=>24
[[[.,.],[.,[[.,.],.]]],.]=>24
[[[.,.],[[.,.],[.,.]]],.]=>23
[[[.,.],[[.,[.,.]],.]],.]=>24
[[[.,.],[[[.,.],.],.]],.]=>24
[[[.,[.,.]],[.,[.,.]]],.]=>23
[[[.,[.,.]],[[.,.],.]],.]=>23
[[[[.,.],.],[.,[.,.]]],.]=>23
[[[[.,.],.],[[.,.],.]],.]=>23
[[[.,[.,[.,.]]],[.,.]],.]=>24
[[[.,[[.,.],.]],[.,.]],.]=>24
[[[[.,.],[.,.]],[.,.]],.]=>23
[[[[.,[.,.]],.],[.,.]],.]=>24
[[[[[.,.],.],.],[.,.]],.]=>24
[[[.,[.,[.,[.,.]]]],.],.]=>27
[[[.,[.,[[.,.],.]]],.],.]=>27
[[[.,[[.,.],[.,.]]],.],.]=>26
[[[.,[[.,[.,.]],.]],.],.]=>27
[[[.,[[[.,.],.],.]],.],.]=>27
[[[[.,.],[.,[.,.]]],.],.]=>25
[[[[.,.],[[.,.],.]],.],.]=>25
[[[[.,[.,.]],[.,.]],.],.]=>25
[[[[[.,.],.],[.,.]],.],.]=>25
[[[[.,[.,[.,.]]],.],.],.]=>27
[[[[.,[[.,.],.]],.],.],.]=>27
[[[[[.,.],[.,.]],.],.],.]=>26
[[[[[.,[.,.]],.],.],.],.]=>27
[[[[[[.,.],.],.],.],.],.]=>27
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>35
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>35
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>34
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>35
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>35
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>33
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>33
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>33
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>33
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>35
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>35
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>34
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>35
[.,[.,[.,[[[[.,.],.],.],.]]]]=>35
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>32
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>32
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>31
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>32
[.,[.,[[.,.],[[[.,.],.],.]]]]=>32
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>31
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>31
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>31
[.,[.,[[[.,.],.],[[.,.],.]]]]=>31
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>32
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>32
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>31
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>32
[.,[.,[[[[.,.],.],.],[.,.]]]]=>32
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>35
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>35
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>34
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>35
[.,[.,[[.,[[[.,.],.],.]],.]]]=>35
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>33
[.,[.,[[[.,.],[[.,.],.]],.]]]=>33
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>33
[.,[.,[[[[.,.],.],[.,.]],.]]]=>33
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>35
[.,[.,[[[.,[[.,.],.]],.],.]]]=>35
[.,[.,[[[[.,.],[.,.]],.],.]]]=>34
[.,[.,[[[[.,[.,.]],.],.],.]]]=>35
[.,[.,[[[[[.,.],.],.],.],.]]]=>35
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>31
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>31
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>30
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>31
[.,[[.,.],[.,[[[.,.],.],.]]]]=>31
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>29
[.,[[.,.],[[.,.],[[.,.],.]]]]=>29
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>29
[.,[[.,.],[[[.,.],.],[.,.]]]]=>29
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>31
[.,[[.,.],[[.,[[.,.],.]],.]]]=>31
[.,[[.,.],[[[.,.],[.,.]],.]]]=>30
[.,[[.,.],[[[.,[.,.]],.],.]]]=>31
[.,[[.,.],[[[[.,.],.],.],.]]]=>31
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>29
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>29
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>28
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>29
[.,[[.,[.,.]],[[[.,.],.],.]]]=>29
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>29
[.,[[[.,.],.],[.,[[.,.],.]]]]=>29
[.,[[[.,.],.],[[.,.],[.,.]]]]=>28
[.,[[[.,.],.],[[.,[.,.]],.]]]=>29
[.,[[[.,.],.],[[[.,.],.],.]]]=>29
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>29
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>29
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>29
[.,[[.,[[.,.],.]],[[.,.],.]]]=>29
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>28
[.,[[[.,.],[.,.]],[[.,.],.]]]=>28
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>29
[.,[[[.,[.,.]],.],[[.,.],.]]]=>29
[.,[[[[.,.],.],.],[.,[.,.]]]]=>29
[.,[[[[.,.],.],.],[[.,.],.]]]=>29
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>31
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>31
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>30
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>31
[.,[[.,[[[.,.],.],.]],[.,.]]]=>31
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>29
[.,[[[.,.],[[.,.],.]],[.,.]]]=>29
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>29
[.,[[[[.,.],.],[.,.]],[.,.]]]=>29
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>31
[.,[[[.,[[.,.],.]],.],[.,.]]]=>31
[.,[[[[.,.],[.,.]],.],[.,.]]]=>30
[.,[[[[.,[.,.]],.],.],[.,.]]]=>31
[.,[[[[[.,.],.],.],.],[.,.]]]=>31
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>35
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>35
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>34
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>35
[.,[[.,[.,[[[.,.],.],.]]],.]]=>35
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>33
[.,[[.,[[.,.],[[.,.],.]]],.]]=>33
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>33
[.,[[.,[[[.,.],.],[.,.]]],.]]=>33
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>35
[.,[[.,[[.,[[.,.],.]],.]],.]]=>35
[.,[[.,[[[.,.],[.,.]],.]],.]]=>34
[.,[[.,[[[.,[.,.]],.],.]],.]]=>35
[.,[[.,[[[[.,.],.],.],.]],.]]=>35
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>32
[.,[[[.,.],[.,[[.,.],.]]],.]]=>32
[.,[[[.,.],[[.,.],[.,.]]],.]]=>31
[.,[[[.,.],[[.,[.,.]],.]],.]]=>32
[.,[[[.,.],[[[.,.],.],.]],.]]=>32
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>31
[.,[[[.,[.,.]],[[.,.],.]],.]]=>31
[.,[[[[.,.],.],[.,[.,.]]],.]]=>31
[.,[[[[.,.],.],[[.,.],.]],.]]=>31
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>32
[.,[[[.,[[.,.],.]],[.,.]],.]]=>32
[.,[[[[.,.],[.,.]],[.,.]],.]]=>31
[.,[[[[.,[.,.]],.],[.,.]],.]]=>32
[.,[[[[[.,.],.],.],[.,.]],.]]=>32
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>35
[.,[[[.,[.,[[.,.],.]]],.],.]]=>35
[.,[[[.,[[.,.],[.,.]]],.],.]]=>34
[.,[[[.,[[.,[.,.]],.]],.],.]]=>35
[.,[[[.,[[[.,.],.],.]],.],.]]=>35
[.,[[[[.,.],[.,[.,.]]],.],.]]=>33
[.,[[[[.,.],[[.,.],.]],.],.]]=>33
[.,[[[[.,[.,.]],[.,.]],.],.]]=>33
[.,[[[[[.,.],.],[.,.]],.],.]]=>33
[.,[[[[.,[.,[.,.]]],.],.],.]]=>35
[.,[[[[.,[[.,.],.]],.],.],.]]=>35
[.,[[[[[.,.],[.,.]],.],.],.]]=>34
[.,[[[[[.,[.,.]],.],.],.],.]]=>35
[.,[[[[[[.,.],.],.],.],.],.]]=>35
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>30
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>30
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>29
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>30
[[.,.],[.,[.,[[[.,.],.],.]]]]=>30
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>28
[[.,.],[.,[[.,.],[[.,.],.]]]]=>28
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>28
[[.,.],[.,[[[.,.],.],[.,.]]]]=>28
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>30
[[.,.],[.,[[.,[[.,.],.]],.]]]=>30
[[.,.],[.,[[[.,.],[.,.]],.]]]=>29
[[.,.],[.,[[[.,[.,.]],.],.]]]=>30
[[.,.],[.,[[[[.,.],.],.],.]]]=>30
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>27
[[.,.],[[.,.],[.,[[.,.],.]]]]=>27
[[.,.],[[.,.],[[.,.],[.,.]]]]=>26
[[.,.],[[.,.],[[.,[.,.]],.]]]=>27
[[.,.],[[.,.],[[[.,.],.],.]]]=>27
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>26
[[.,.],[[.,[.,.]],[[.,.],.]]]=>26
[[.,.],[[[.,.],.],[.,[.,.]]]]=>26
[[.,.],[[[.,.],.],[[.,.],.]]]=>26
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>27
[[.,.],[[.,[[.,.],.]],[.,.]]]=>27
[[.,.],[[[.,.],[.,.]],[.,.]]]=>26
[[.,.],[[[.,[.,.]],.],[.,.]]]=>27
[[.,.],[[[[.,.],.],.],[.,.]]]=>27
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>30
[[.,.],[[.,[.,[[.,.],.]]],.]]=>30
[[.,.],[[.,[[.,.],[.,.]]],.]]=>29
[[.,.],[[.,[[.,[.,.]],.]],.]]=>30
[[.,.],[[.,[[[.,.],.],.]],.]]=>30
[[.,.],[[[.,.],[.,[.,.]]],.]]=>28
[[.,.],[[[.,.],[[.,.],.]],.]]=>28
[[.,.],[[[.,[.,.]],[.,.]],.]]=>28
[[.,.],[[[[.,.],.],[.,.]],.]]=>28
[[.,.],[[[.,[.,[.,.]]],.],.]]=>30
[[.,.],[[[.,[[.,.],.]],.],.]]=>30
[[.,.],[[[[.,.],[.,.]],.],.]]=>29
[[.,.],[[[[.,[.,.]],.],.],.]]=>30
[[.,.],[[[[[.,.],.],.],.],.]]=>30
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>27
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>27
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>26
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>27
[[.,[.,.]],[.,[[[.,.],.],.]]]=>27
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>25
[[.,[.,.]],[[.,.],[[.,.],.]]]=>25
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>25
[[.,[.,.]],[[[.,.],.],[.,.]]]=>25
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>27
[[.,[.,.]],[[.,[[.,.],.]],.]]=>27
[[.,[.,.]],[[[.,.],[.,.]],.]]=>26
[[.,[.,.]],[[[.,[.,.]],.],.]]=>27
[[.,[.,.]],[[[[.,.],.],.],.]]=>27
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>27
[[[.,.],.],[.,[.,[[.,.],.]]]]=>27
[[[.,.],.],[.,[[.,.],[.,.]]]]=>26
[[[.,.],.],[.,[[.,[.,.]],.]]]=>27
[[[.,.],.],[.,[[[.,.],.],.]]]=>27
[[[.,.],.],[[.,.],[.,[.,.]]]]=>25
[[[.,.],.],[[.,.],[[.,.],.]]]=>25
[[[.,.],.],[[.,[.,.]],[.,.]]]=>25
[[[.,.],.],[[[.,.],.],[.,.]]]=>25
[[[.,.],.],[[.,[.,[.,.]]],.]]=>27
[[[.,.],.],[[.,[[.,.],.]],.]]=>27
[[[.,.],.],[[[.,.],[.,.]],.]]=>26
[[[.,.],.],[[[.,[.,.]],.],.]]=>27
[[[.,.],.],[[[[.,.],.],.],.]]=>27
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>26
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>26
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>25
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>26
[[.,[.,[.,.]]],[[[.,.],.],.]]=>26
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>26
[[.,[[.,.],.]],[.,[[.,.],.]]]=>26
[[.,[[.,.],.]],[[.,.],[.,.]]]=>25
[[.,[[.,.],.]],[[.,[.,.]],.]]=>26
[[.,[[.,.],.]],[[[.,.],.],.]]=>26
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>25
[[[.,.],[.,.]],[.,[[.,.],.]]]=>25
[[[.,.],[.,.]],[[.,.],[.,.]]]=>24
[[[.,.],[.,.]],[[.,[.,.]],.]]=>25
[[[.,.],[.,.]],[[[.,.],.],.]]=>25
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>26
[[[.,[.,.]],.],[.,[[.,.],.]]]=>26
[[[.,[.,.]],.],[[.,.],[.,.]]]=>25
[[[.,[.,.]],.],[[.,[.,.]],.]]=>26
[[[.,[.,.]],.],[[[.,.],.],.]]=>26
[[[[.,.],.],.],[.,[.,[.,.]]]]=>26
[[[[.,.],.],.],[.,[[.,.],.]]]=>26
[[[[.,.],.],.],[[.,.],[.,.]]]=>25
[[[[.,.],.],.],[[.,[.,.]],.]]=>26
[[[[.,.],.],.],[[[.,.],.],.]]=>26
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>27
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>27
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>27
[[.,[.,[[.,.],.]]],[[.,.],.]]=>27
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>26
[[.,[[.,.],[.,.]]],[[.,.],.]]=>26
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>27
[[.,[[.,[.,.]],.]],[[.,.],.]]=>27
[[.,[[[.,.],.],.]],[.,[.,.]]]=>27
[[.,[[[.,.],.],.]],[[.,.],.]]=>27
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>25
[[[.,.],[.,[.,.]]],[[.,.],.]]=>25
[[[.,.],[[.,.],.]],[.,[.,.]]]=>25
[[[.,.],[[.,.],.]],[[.,.],.]]=>25
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>25
[[[.,[.,.]],[.,.]],[[.,.],.]]=>25
[[[[.,.],.],[.,.]],[.,[.,.]]]=>25
[[[[.,.],.],[.,.]],[[.,.],.]]=>25
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>27
[[[.,[.,[.,.]]],.],[[.,.],.]]=>27
[[[.,[[.,.],.]],.],[.,[.,.]]]=>27
[[[.,[[.,.],.]],.],[[.,.],.]]=>27
[[[[.,.],[.,.]],.],[.,[.,.]]]=>26
[[[[.,.],[.,.]],.],[[.,.],.]]=>26
[[[[.,[.,.]],.],.],[.,[.,.]]]=>27
[[[[.,[.,.]],.],.],[[.,.],.]]=>27
[[[[[.,.],.],.],.],[.,[.,.]]]=>27
[[[[[.,.],.],.],.],[[.,.],.]]=>27
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>30
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>30
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>29
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>30
[[.,[.,[[[.,.],.],.]]],[.,.]]=>30
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>28
[[.,[[.,.],[[.,.],.]]],[.,.]]=>28
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>28
[[.,[[[.,.],.],[.,.]]],[.,.]]=>28
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>30
[[.,[[.,[[.,.],.]],.]],[.,.]]=>30
[[.,[[[.,.],[.,.]],.]],[.,.]]=>29
[[.,[[[.,[.,.]],.],.]],[.,.]]=>30
[[.,[[[[.,.],.],.],.]],[.,.]]=>30
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>27
[[[.,.],[.,[[.,.],.]]],[.,.]]=>27
[[[.,.],[[.,.],[.,.]]],[.,.]]=>26
[[[.,.],[[.,[.,.]],.]],[.,.]]=>27
[[[.,.],[[[.,.],.],.]],[.,.]]=>27
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>26
[[[.,[.,.]],[[.,.],.]],[.,.]]=>26
[[[[.,.],.],[.,[.,.]]],[.,.]]=>26
[[[[.,.],.],[[.,.],.]],[.,.]]=>26
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>27
[[[.,[[.,.],.]],[.,.]],[.,.]]=>27
[[[[.,.],[.,.]],[.,.]],[.,.]]=>26
[[[[.,[.,.]],.],[.,.]],[.,.]]=>27
[[[[[.,.],.],.],[.,.]],[.,.]]=>27
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>30
[[[.,[.,[[.,.],.]]],.],[.,.]]=>30
[[[.,[[.,.],[.,.]]],.],[.,.]]=>29
[[[.,[[.,[.,.]],.]],.],[.,.]]=>30
[[[.,[[[.,.],.],.]],.],[.,.]]=>30
[[[[.,.],[.,[.,.]]],.],[.,.]]=>28
[[[[.,.],[[.,.],.]],.],[.,.]]=>28
[[[[.,[.,.]],[.,.]],.],[.,.]]=>28
[[[[[.,.],.],[.,.]],.],[.,.]]=>28
[[[[.,[.,[.,.]]],.],.],[.,.]]=>30
[[[[.,[[.,.],.]],.],.],[.,.]]=>30
[[[[[.,.],[.,.]],.],.],[.,.]]=>29
[[[[[.,[.,.]],.],.],.],[.,.]]=>30
[[[[[[.,.],.],.],.],.],[.,.]]=>30
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>35
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>35
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>34
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>35
[[.,[.,[.,[[[.,.],.],.]]]],.]=>35
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>33
[[.,[.,[[.,.],[[.,.],.]]]],.]=>33
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>33
[[.,[.,[[[.,.],.],[.,.]]]],.]=>33
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>35
[[.,[.,[[.,[[.,.],.]],.]]],.]=>35
[[.,[.,[[[.,.],[.,.]],.]]],.]=>34
[[.,[.,[[[.,[.,.]],.],.]]],.]=>35
[[.,[.,[[[[.,.],.],.],.]]],.]=>35
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>32
[[.,[[.,.],[.,[[.,.],.]]]],.]=>32
[[.,[[.,.],[[.,.],[.,.]]]],.]=>31
[[.,[[.,.],[[.,[.,.]],.]]],.]=>32
[[.,[[.,.],[[[.,.],.],.]]],.]=>32
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>31
[[.,[[.,[.,.]],[[.,.],.]]],.]=>31
[[.,[[[.,.],.],[.,[.,.]]]],.]=>31
[[.,[[[.,.],.],[[.,.],.]]],.]=>31
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>32
[[.,[[.,[[.,.],.]],[.,.]]],.]=>32
[[.,[[[.,.],[.,.]],[.,.]]],.]=>31
[[.,[[[.,[.,.]],.],[.,.]]],.]=>32
[[.,[[[[.,.],.],.],[.,.]]],.]=>32
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>35
[[.,[[.,[.,[[.,.],.]]],.]],.]=>35
[[.,[[.,[[.,.],[.,.]]],.]],.]=>34
[[.,[[.,[[.,[.,.]],.]],.]],.]=>35
[[.,[[.,[[[.,.],.],.]],.]],.]=>35
[[.,[[[.,.],[.,[.,.]]],.]],.]=>33
[[.,[[[.,.],[[.,.],.]],.]],.]=>33
[[.,[[[.,[.,.]],[.,.]],.]],.]=>33
[[.,[[[[.,.],.],[.,.]],.]],.]=>33
[[.,[[[.,[.,[.,.]]],.],.]],.]=>35
[[.,[[[.,[[.,.],.]],.],.]],.]=>35
[[.,[[[[.,.],[.,.]],.],.]],.]=>34
[[.,[[[[.,[.,.]],.],.],.]],.]=>35
[[.,[[[[[.,.],.],.],.],.]],.]=>35
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>31
[[[.,.],[.,[.,[[.,.],.]]]],.]=>31
[[[.,.],[.,[[.,.],[.,.]]]],.]=>30
[[[.,.],[.,[[.,[.,.]],.]]],.]=>31
[[[.,.],[.,[[[.,.],.],.]]],.]=>31
[[[.,.],[[.,.],[.,[.,.]]]],.]=>29
[[[.,.],[[.,.],[[.,.],.]]],.]=>29
[[[.,.],[[.,[.,.]],[.,.]]],.]=>29
[[[.,.],[[[.,.],.],[.,.]]],.]=>29
[[[.,.],[[.,[.,[.,.]]],.]],.]=>31
[[[.,.],[[.,[[.,.],.]],.]],.]=>31
[[[.,.],[[[.,.],[.,.]],.]],.]=>30
[[[.,.],[[[.,[.,.]],.],.]],.]=>31
[[[.,.],[[[[.,.],.],.],.]],.]=>31
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>29
[[[.,[.,.]],[.,[[.,.],.]]],.]=>29
[[[.,[.,.]],[[.,.],[.,.]]],.]=>28
[[[.,[.,.]],[[.,[.,.]],.]],.]=>29
[[[.,[.,.]],[[[.,.],.],.]],.]=>29
[[[[.,.],.],[.,[.,[.,.]]]],.]=>29
[[[[.,.],.],[.,[[.,.],.]]],.]=>29
[[[[.,.],.],[[.,.],[.,.]]],.]=>28
[[[[.,.],.],[[.,[.,.]],.]],.]=>29
[[[[.,.],.],[[[.,.],.],.]],.]=>29
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>29
[[[.,[.,[.,.]]],[[.,.],.]],.]=>29
[[[.,[[.,.],.]],[.,[.,.]]],.]=>29
[[[.,[[.,.],.]],[[.,.],.]],.]=>29
[[[[.,.],[.,.]],[.,[.,.]]],.]=>28
[[[[.,.],[.,.]],[[.,.],.]],.]=>28
[[[[.,[.,.]],.],[.,[.,.]]],.]=>29
[[[[.,[.,.]],.],[[.,.],.]],.]=>29
[[[[[.,.],.],.],[.,[.,.]]],.]=>29
[[[[[.,.],.],.],[[.,.],.]],.]=>29
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>31
[[[.,[.,[[.,.],.]]],[.,.]],.]=>31
[[[.,[[.,.],[.,.]]],[.,.]],.]=>30
[[[.,[[.,[.,.]],.]],[.,.]],.]=>31
[[[.,[[[.,.],.],.]],[.,.]],.]=>31
[[[[.,.],[.,[.,.]]],[.,.]],.]=>29
[[[[.,.],[[.,.],.]],[.,.]],.]=>29
[[[[.,[.,.]],[.,.]],[.,.]],.]=>29
[[[[[.,.],.],[.,.]],[.,.]],.]=>29
[[[[.,[.,[.,.]]],.],[.,.]],.]=>31
[[[[.,[[.,.],.]],.],[.,.]],.]=>31
[[[[[.,.],[.,.]],.],[.,.]],.]=>30
[[[[[.,[.,.]],.],.],[.,.]],.]=>31
[[[[[[.,.],.],.],.],[.,.]],.]=>31
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>35
[[[.,[.,[.,[[.,.],.]]]],.],.]=>35
[[[.,[.,[[.,.],[.,.]]]],.],.]=>34
[[[.,[.,[[.,[.,.]],.]]],.],.]=>35
[[[.,[.,[[[.,.],.],.]]],.],.]=>35
[[[.,[[.,.],[.,[.,.]]]],.],.]=>33
[[[.,[[.,.],[[.,.],.]]],.],.]=>33
[[[.,[[.,[.,.]],[.,.]]],.],.]=>33
[[[.,[[[.,.],.],[.,.]]],.],.]=>33
[[[.,[[.,[.,[.,.]]],.]],.],.]=>35
[[[.,[[.,[[.,.],.]],.]],.],.]=>35
[[[.,[[[.,.],[.,.]],.]],.],.]=>34
[[[.,[[[.,[.,.]],.],.]],.],.]=>35
[[[.,[[[[.,.],.],.],.]],.],.]=>35
[[[[.,.],[.,[.,[.,.]]]],.],.]=>32
[[[[.,.],[.,[[.,.],.]]],.],.]=>32
[[[[.,.],[[.,.],[.,.]]],.],.]=>31
[[[[.,.],[[.,[.,.]],.]],.],.]=>32
[[[[.,.],[[[.,.],.],.]],.],.]=>32
[[[[.,[.,.]],[.,[.,.]]],.],.]=>31
[[[[.,[.,.]],[[.,.],.]],.],.]=>31
[[[[[.,.],.],[.,[.,.]]],.],.]=>31
[[[[[.,.],.],[[.,.],.]],.],.]=>31
[[[[.,[.,[.,.]]],[.,.]],.],.]=>32
[[[[.,[[.,.],.]],[.,.]],.],.]=>32
[[[[[.,.],[.,.]],[.,.]],.],.]=>31
[[[[[.,[.,.]],.],[.,.]],.],.]=>32
[[[[[[.,.],.],.],[.,.]],.],.]=>32
[[[[.,[.,[.,[.,.]]]],.],.],.]=>35
[[[[.,[.,[[.,.],.]]],.],.],.]=>35
[[[[.,[[.,.],[.,.]]],.],.],.]=>34
[[[[.,[[.,[.,.]],.]],.],.],.]=>35
[[[[.,[[[.,.],.],.]],.],.],.]=>35
[[[[[.,.],[.,[.,.]]],.],.],.]=>33
[[[[[.,.],[[.,.],.]],.],.],.]=>33
[[[[[.,[.,.]],[.,.]],.],.],.]=>33
[[[[[[.,.],.],[.,.]],.],.],.]=>33
[[[[[.,[.,[.,.]]],.],.],.],.]=>35
[[[[[.,[[.,.],.]],.],.],.],.]=>35
[[[[[[.,.],[.,.]],.],.],.],.]=>34
[[[[[[.,[.,.]],.],.],.],.],.]=>35
[[[[[[[.,.],.],.],.],.],.],.]=>35
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>44
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>44
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>43
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>44
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]=>44
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]]=>42
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]]=>42
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]]=>42
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]]=>42
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>44
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>44
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>43
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>44
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>44
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>41
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>41
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]]=>40
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>41
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>41
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]]=>40
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]]=>40
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]]=>40
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]]=>40
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>41
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>41
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]]=>40
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>41
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>41
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>44
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>44
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>43
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>44
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>44
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]]=>42
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]]=>42
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]]=>42
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>42
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>44
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>44
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>43
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>44
[.,[.,[.,[[[[[.,.],.],.],.],.]]]]=>44
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]]=>40
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]]=>40
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]]=>39
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]]=>40
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]]=>40
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>38
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]]=>38
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]]=>38
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]]=>38
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]]=>40
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]]=>40
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]]=>39
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]]=>40
[.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>40
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]]=>38
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]]=>38
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]]=>37
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]]=>38
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]]=>38
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]]=>38
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]]=>38
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]]=>37
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]]=>38
[.,[.,[[[.,.],.],[[[.,.],.],.]]]]=>38
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]]=>38
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]]=>38
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]]=>38
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]]=>38
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]]=>37
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]]=>37
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]]=>38
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]]=>38
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]]=>38
[.,[.,[[[[.,.],.],.],[[.,.],.]]]]=>38
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]]=>40
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]]=>40
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]]=>39
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]]=>40
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]]=>40
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]]=>38
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]]=>38
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]]=>38
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]]=>38
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]]=>40
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]]=>40
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]]=>39
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]]=>40
[.,[.,[[[[[.,.],.],.],.],[.,.]]]]=>40
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]=>44
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]]=>44
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>43
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]]=>44
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]]=>44
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]]=>42
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]]=>42
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]]=>42
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]]=>42
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>44
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]]=>44
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>43
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>44
[.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>44
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>41
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>41
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]]=>40
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>41
[.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>41
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]]=>40
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]]=>40
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]]=>40
[.,[.,[[[[.,.],.],[[.,.],.]],.]]]=>40
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>41
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>41
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]]=>40
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>41
[.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>41
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]=>44
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]]=>44
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>43
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]]=>44
[.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>44
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]]=>42
[.,[.,[[[[.,.],[[.,.],.]],.],.]]]=>42
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]]=>42
[.,[.,[[[[[.,.],.],[.,.]],.],.]]]=>42
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>44
[.,[.,[[[[.,[[.,.],.]],.],.],.]]]=>44
[.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>43
[.,[.,[[[[[.,[.,.]],.],.],.],.]]]=>44
[.,[.,[[[[[[.,.],.],.],.],.],.]]]=>44
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>39
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>39
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>38
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>39
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>39
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>37
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]]=>37
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]]=>37
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]]=>37
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>39
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>39
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]]=>38
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>39
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>39
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]]=>36
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]]=>36
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>35
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]]=>36
[.,[[.,.],[[.,.],[[[.,.],.],.]]]]=>36
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]]=>35
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]]=>35
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]]=>35
[.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>35
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]]=>36
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]]=>36
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]]=>35
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]]=>36
[.,[[.,.],[[[[.,.],.],.],[.,.]]]]=>36
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>39
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>39
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]]=>38
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>39
[.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>39
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]]=>37
[.,[[.,.],[[[.,.],[[.,.],.]],.]]]=>37
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]]=>37
[.,[[.,.],[[[[.,.],.],[.,.]],.]]]=>37
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>39
[.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>39
[.,[[.,.],[[[[.,.],[.,.]],.],.]]]=>38
[.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>39
[.,[[.,.],[[[[[.,.],.],.],.],.]]]=>39
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]]=>36
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]]=>36
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]]=>35
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]]=>36
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]]=>36
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]]=>34
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]]=>34
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]]=>34
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]]=>34
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]]=>36
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]]=>36
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]]=>35
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]]=>36
[.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>36
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]]=>36
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]]=>36
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]]=>35
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]]=>36
[.,[[[.,.],.],[.,[[[.,.],.],.]]]]=>36
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]]=>34
[.,[[[.,.],.],[[.,.],[[.,.],.]]]]=>34
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]]=>34
[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>34
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]]=>36
[.,[[[.,.],.],[[.,[[.,.],.]],.]]]=>36
[.,[[[.,.],.],[[[.,.],[.,.]],.]]]=>35
[.,[[[.,.],.],[[[.,[.,.]],.],.]]]=>36
[.,[[[.,.],.],[[[[.,.],.],.],.]]]=>36
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>35
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>35
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]]=>34
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>35
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>35
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>35
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>35
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]]=>34
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>35
[.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>35
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]]=>34
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]]=>34
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]]=>33
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]]=>34
[.,[[[.,.],[.,.]],[[[.,.],.],.]]]=>34
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>35
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>35
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]]=>34
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>35
[.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>35
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>35
[.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>35
[.,[[[[.,.],.],.],[[.,.],[.,.]]]]=>34
[.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>35
[.,[[[[.,.],.],.],[[[.,.],.],.]]]=>35
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]]=>36
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]]=>36
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]]=>36
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]]=>36
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]]=>35
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]]=>35
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]]=>36
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]]=>36
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]]=>36
[.,[[.,[[[.,.],.],.]],[[.,.],.]]]=>36
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]]=>34
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]]=>34
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]]=>34
[.,[[[.,.],[[.,.],.]],[[.,.],.]]]=>34
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]]=>34
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]]=>34
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]]=>34
[.,[[[[.,.],.],[.,.]],[[.,.],.]]]=>34
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]]=>36
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]]=>36
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]]=>36
[.,[[[.,[[.,.],.]],.],[[.,.],.]]]=>36
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]]=>35
[.,[[[[.,.],[.,.]],.],[[.,.],.]]]=>35
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]]=>36
[.,[[[[.,[.,.]],.],.],[[.,.],.]]]=>36
[.,[[[[[.,.],.],.],.],[.,[.,.]]]]=>36
[.,[[[[[.,.],.],.],.],[[.,.],.]]]=>36
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>39
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>39
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]]=>38
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>39
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>39
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]]=>37
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]]=>37
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]]=>37
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]]=>37
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>39
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>39
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]]=>38
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>39
[.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>39
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]]=>36
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]]=>36
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]]=>35
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]]=>36
[.,[[[.,.],[[[.,.],.],.]],[.,.]]]=>36
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]]=>35
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]]=>35
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]]=>35
[.,[[[[.,.],.],[[.,.],.]],[.,.]]]=>35
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]]=>36
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]]=>36
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]]=>35
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]]=>36
[.,[[[[[.,.],.],.],[.,.]],[.,.]]]=>36
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>39
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>39
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]]=>38
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>39
[.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>39
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]]=>37
[.,[[[[.,.],[[.,.],.]],.],[.,.]]]=>37
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]]=>37
[.,[[[[[.,.],.],[.,.]],.],[.,.]]]=>37
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>39
[.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>39
[.,[[[[[.,.],[.,.]],.],.],[.,.]]]=>38
[.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>39
[.,[[[[[[.,.],.],.],.],.],[.,.]]]=>39
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]=>44
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>44
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>43
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>44
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]]=>44
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]]=>42
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]]=>42
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]]=>42
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]]=>42
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>44
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]]=>44
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>43
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]]=>44
[.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>44
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>41
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>41
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>40
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>41
[.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>41
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]]=>40
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]]=>40
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]]=>40
[.,[[.,[[[.,.],.],[[.,.],.]]],.]]=>40
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>41
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>41
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]]=>40
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>41
[.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>41
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>44
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]]=>44
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>43
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>44
[.,[[.,[[.,[[[.,.],.],.]],.]],.]]=>44
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]]=>42
[.,[[.,[[[.,.],[[.,.],.]],.]],.]]=>42
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]]=>42
[.,[[.,[[[[.,.],.],[.,.]],.]],.]]=>42
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]]=>44
[.,[[.,[[[.,[[.,.],.]],.],.]],.]]=>44
[.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>43
[.,[[.,[[[[.,[.,.]],.],.],.]],.]]=>44
[.,[[.,[[[[[.,.],.],.],.],.]],.]]=>44
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]]=>40
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]]=>40
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]]=>39
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]]=>40
[.,[[[.,.],[.,[[[.,.],.],.]]],.]]=>40
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]]=>38
[.,[[[.,.],[[.,.],[[.,.],.]]],.]]=>38
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]]=>38
[.,[[[.,.],[[[.,.],.],[.,.]]],.]]=>38
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]]=>40
[.,[[[.,.],[[.,[[.,.],.]],.]],.]]=>40
[.,[[[.,.],[[[.,.],[.,.]],.]],.]]=>39
[.,[[[.,.],[[[.,[.,.]],.],.]],.]]=>40
[.,[[[.,.],[[[[.,.],.],.],.]],.]]=>40
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]]=>38
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]]=>38
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]]=>37
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]]=>38
[.,[[[.,[.,.]],[[[.,.],.],.]],.]]=>38
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]]=>38
[.,[[[[.,.],.],[.,[[.,.],.]]],.]]=>38
[.,[[[[.,.],.],[[.,.],[.,.]]],.]]=>37
[.,[[[[.,.],.],[[.,[.,.]],.]],.]]=>38
[.,[[[[.,.],.],[[[.,.],.],.]],.]]=>38
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]]=>38
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]]=>38
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]]=>38
[.,[[[.,[[.,.],.]],[[.,.],.]],.]]=>38
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]]=>37
[.,[[[[.,.],[.,.]],[[.,.],.]],.]]=>37
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]]=>38
[.,[[[[.,[.,.]],.],[[.,.],.]],.]]=>38
[.,[[[[[.,.],.],.],[.,[.,.]]],.]]=>38
[.,[[[[[.,.],.],.],[[.,.],.]],.]]=>38
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]]=>40
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]]=>40
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]]=>39
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]]=>40
[.,[[[.,[[[.,.],.],.]],[.,.]],.]]=>40
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]]=>38
[.,[[[[.,.],[[.,.],.]],[.,.]],.]]=>38
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]]=>38
[.,[[[[[.,.],.],[.,.]],[.,.]],.]]=>38
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]]=>40
[.,[[[[.,[[.,.],.]],.],[.,.]],.]]=>40
[.,[[[[[.,.],[.,.]],.],[.,.]],.]]=>39
[.,[[[[[.,[.,.]],.],.],[.,.]],.]]=>40
[.,[[[[[[.,.],.],.],.],[.,.]],.]]=>40
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]=>44
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]]=>44
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>43
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]]=>44
[.,[[[.,[.,[[[.,.],.],.]]],.],.]]=>44
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]]=>42
[.,[[[.,[[.,.],[[.,.],.]]],.],.]]=>42
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]]=>42
[.,[[[.,[[[.,.],.],[.,.]]],.],.]]=>42
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]]=>44
[.,[[[.,[[.,[[.,.],.]],.]],.],.]]=>44
[.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>43
[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>44
[.,[[[.,[[[[.,.],.],.],.]],.],.]]=>44
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>41
[.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>41
[.,[[[[.,.],[[.,.],[.,.]]],.],.]]=>40
[.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>41
[.,[[[[.,.],[[[.,.],.],.]],.],.]]=>41
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]]=>40
[.,[[[[.,[.,.]],[[.,.],.]],.],.]]=>40
[.,[[[[[.,.],.],[.,[.,.]]],.],.]]=>40
[.,[[[[[.,.],.],[[.,.],.]],.],.]]=>40
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>41
[.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>41
[.,[[[[[.,.],[.,.]],[.,.]],.],.]]=>40
[.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>41
[.,[[[[[[.,.],.],.],[.,.]],.],.]]=>41
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]]=>44
[.,[[[[.,[.,[[.,.],.]]],.],.],.]]=>44
[.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>43
[.,[[[[.,[[.,[.,.]],.]],.],.],.]]=>44
[.,[[[[.,[[[.,.],.],.]],.],.],.]]=>44
[.,[[[[[.,.],[.,[.,.]]],.],.],.]]=>42
[.,[[[[[.,.],[[.,.],.]],.],.],.]]=>42
[.,[[[[[.,[.,.]],[.,.]],.],.],.]]=>42
[.,[[[[[[.,.],.],[.,.]],.],.],.]]=>42
[.,[[[[[.,[.,[.,.]]],.],.],.],.]]=>44
[.,[[[[[.,[[.,.],.]],.],.],.],.]]=>44
[.,[[[[[[.,.],[.,.]],.],.],.],.]]=>43
[.,[[[[[[.,[.,.]],.],.],.],.],.]]=>44
[.,[[[[[[[.,.],.],.],.],.],.],.]]=>44
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]]=>38
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>38
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>37
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]]=>38
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]]=>38
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>36
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]]=>36
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]]=>36
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]]=>36
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]]=>38
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]]=>38
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>37
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>38
[[.,.],[.,[.,[[[[.,.],.],.],.]]]]=>38
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>35
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>35
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]]=>34
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>35
[[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>35
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]]=>34
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]]=>34
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]]=>34
[[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>34
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>35
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>35
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]]=>34
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>35
[[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>35
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]]=>38
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]]=>38
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>37
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]]=>38
[[.,.],[.,[[.,[[[.,.],.],.]],.]]]=>38
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]]=>36
[[.,.],[.,[[[.,.],[[.,.],.]],.]]]=>36
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]]=>36
[[.,.],[.,[[[[.,.],.],[.,.]],.]]]=>36
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]]=>38
[[.,.],[.,[[[.,[[.,.],.]],.],.]]]=>38
[[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>37
[[.,.],[.,[[[[.,[.,.]],.],.],.]]]=>38
[[.,.],[.,[[[[[.,.],.],.],.],.]]]=>38
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]]=>34
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]]=>34
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]]=>33
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]]=>34
[[.,.],[[.,.],[.,[[[.,.],.],.]]]]=>34
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]]=>32
[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>32
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]]=>32
[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>32
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]]=>34
[[.,.],[[.,.],[[.,[[.,.],.]],.]]]=>34
[[.,.],[[.,.],[[[.,.],[.,.]],.]]]=>33
[[.,.],[[.,.],[[[.,[.,.]],.],.]]]=>34
[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>34
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]]=>32
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]]=>32
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]]=>31
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]]=>32
[[.,.],[[.,[.,.]],[[[.,.],.],.]]]=>32
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]]=>32
[[.,.],[[[.,.],.],[.,[[.,.],.]]]]=>32
[[.,.],[[[.,.],.],[[.,.],[.,.]]]]=>31
[[.,.],[[[.,.],.],[[.,[.,.]],.]]]=>32
[[.,.],[[[.,.],.],[[[.,.],.],.]]]=>32
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]]=>32
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]]=>32
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]]=>32
[[.,.],[[.,[[.,.],.]],[[.,.],.]]]=>32
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]]=>31
[[.,.],[[[.,.],[.,.]],[[.,.],.]]]=>31
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]]=>32
[[.,.],[[[.,[.,.]],.],[[.,.],.]]]=>32
[[.,.],[[[[.,.],.],.],[.,[.,.]]]]=>32
[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>32
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]]=>34
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]]=>34
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]]=>33
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]]=>34
[[.,.],[[.,[[[.,.],.],.]],[.,.]]]=>34
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]]=>32
[[.,.],[[[.,.],[[.,.],.]],[.,.]]]=>32
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]]=>32
[[.,.],[[[[.,.],.],[.,.]],[.,.]]]=>32
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]]=>34
[[.,.],[[[.,[[.,.],.]],.],[.,.]]]=>34
[[.,.],[[[[.,.],[.,.]],.],[.,.]]]=>33
[[.,.],[[[[.,[.,.]],.],.],[.,.]]]=>34
[[.,.],[[[[[.,.],.],.],.],[.,.]]]=>34
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]]=>38
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]]=>38
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>37
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]]=>38
[[.,.],[[.,[.,[[[.,.],.],.]]],.]]=>38
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]]=>36
[[.,.],[[.,[[.,.],[[.,.],.]]],.]]=>36
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]]=>36
[[.,.],[[.,[[[.,.],.],[.,.]]],.]]=>36
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]]=>38
[[.,.],[[.,[[.,[[.,.],.]],.]],.]]=>38
[[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>37
[[.,.],[[.,[[[.,[.,.]],.],.]],.]]=>38
[[.,.],[[.,[[[[.,.],.],.],.]],.]]=>38
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>35
[[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>35
[[.,.],[[[.,.],[[.,.],[.,.]]],.]]=>34
[[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>35
[[.,.],[[[.,.],[[[.,.],.],.]],.]]=>35
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]]=>34
[[.,.],[[[.,[.,.]],[[.,.],.]],.]]=>34
[[.,.],[[[[.,.],.],[.,[.,.]]],.]]=>34
[[.,.],[[[[.,.],.],[[.,.],.]],.]]=>34
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>35
[[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>35
[[.,.],[[[[.,.],[.,.]],[.,.]],.]]=>34
[[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>35
[[.,.],[[[[[.,.],.],.],[.,.]],.]]=>35
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]]=>38
[[.,.],[[[.,[.,[[.,.],.]]],.],.]]=>38
[[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>37
[[.,.],[[[.,[[.,[.,.]],.]],.],.]]=>38
[[.,.],[[[.,[[[.,.],.],.]],.],.]]=>38
[[.,.],[[[[.,.],[.,[.,.]]],.],.]]=>36
[[.,.],[[[[.,.],[[.,.],.]],.],.]]=>36
[[.,.],[[[[.,[.,.]],[.,.]],.],.]]=>36
[[.,.],[[[[[.,.],.],[.,.]],.],.]]=>36
[[.,.],[[[[.,[.,[.,.]]],.],.],.]]=>38
[[.,.],[[[[.,[[.,.],.]],.],.],.]]=>38
[[.,.],[[[[[.,.],[.,.]],.],.],.]]=>37
[[.,.],[[[[[.,[.,.]],.],.],.],.]]=>38
[[.,.],[[[[[[.,.],.],.],.],.],.]]=>38
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>34
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]]=>34
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>33
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]]=>34
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]]=>34
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]]=>32
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]]=>32
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]]=>32
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]]=>32
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]]=>34
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]]=>34
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>33
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]]=>34
[[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>34
[[.,[.,.]],[[.,.],[.,[[.,.],.]]]]=>31
[[.,[.,.]],[[.,.],[[.,.],[.,.]]]]=>30
[[.,[.,.]],[[.,.],[[[.,.],.],.]]]=>31
[[.,[.,.]],[[.,[.,.]],[.,[.,.]]]]=>30
[[.,[.,.]],[[[.,.],.],[[.,.],.]]]=>30
[[.,[.,.]],[[[.,.],[.,.]],[.,.]]]=>30
[[.,[.,.]],[[[.,[.,.]],.],[.,.]]]=>31
[[.,[.,.]],[[[[.,.],.],.],[.,.]]]=>31
[[.,[.,.]],[[.,[[.,.],[.,.]]],.]]=>33
[[.,[.,.]],[[.,[[.,[.,.]],.]],.]]=>34
[[.,[.,.]],[[[.,.],[[.,.],.]],.]]=>32
[[.,[.,.]],[[[.,[.,.]],[.,.]],.]]=>32
[[.,[.,.]],[[[[[.,.],.],.],.],.]]=>34
[[.,[.,[.,.]]],[.,[.,[[.,.],.]]]]=>32
[[.,[.,[.,.]]],[.,[[.,.],[.,.]]]]=>31
[[.,[.,[.,.]]],[.,[[[.,.],.],.]]]=>32
[[.,[.,[.,.]]],[[.,.],[.,[.,.]]]]=>30
[[.,[.,[.,.]]],[[.,.],[[.,.],.]]]=>30
[[.,[.,[.,.]]],[[[.,.],.],[.,.]]]=>30
[[.,[[.,.],.]],[[.,.],[[.,.],.]]]=>30
[[.,[[.,.],.]],[[.,[.,.]],[.,.]]]=>30
[[.,[[.,.],.]],[[[.,.],.],[.,.]]]=>30
[[.,[[.,.],.]],[[.,[[.,.],.]],.]]=>32
[[.,[[.,.],.]],[[[.,.],[.,.]],.]]=>31
[[.,[[.,.],.]],[[[[.,.],.],.],.]]=>32
[[[.,.],[.,.]],[.,[[.,.],[.,.]]]]=>30
[[[.,.],[.,.]],[[.,.],[.,[.,.]]]]=>29
[[[[.,.],.],.],[[.,.],[[.,.],.]]]=>30
[[[[.,.],.],.],[[.,[.,.]],[.,.]]]=>30
[[[[.,.],.],.],[[[[.,.],.],.],.]]=>32
[[.,[.,[.,[.,.]]]],[.,[.,[.,.]]]]=>32
[[.,[.,[[.,.],.]]],[.,[[.,.],.]]]=>32
[[.,[[.,.],[.,.]]],[[.,.],[.,.]]]=>30
[[.,[[.,.],[.,.]]],[[.,[.,.]],.]]=>31
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]]=>31
[[.,[[.,[.,.]],.]],[[.,[.,.]],.]]=>32
[[.,[[[.,.],.],.]],[[[.,.],.],.]]=>32
[[[.,.],[.,[.,.]]],[.,[.,[.,.]]]]=>30
[[[.,.],[.,[.,.]]],[.,[[.,.],.]]]=>30
[[[.,.],[.,[.,.]]],[[.,[.,.]],.]]=>30
[[[.,.],[.,[.,.]]],[[[.,.],.],.]]=>30
[[[.,[.,.]],[.,.]],[[.,[.,.]],.]]=>30
[[[[.,.],.],[.,.]],[.,[[.,.],.]]]=>30
[[[[.,.],.],[.,.]],[[.,.],[.,.]]]=>29
[[[[.,.],.],[.,.]],[[[.,.],.],.]]=>30
[[[[.,.],[.,.]],.],[.,[[.,.],.]]]=>31
[[[[.,.],[.,.]],.],[[.,.],[.,.]]]=>30
[[[[.,.],[.,.]],.],[[[.,.],.],.]]=>31
[[[[.,[.,.]],.],.],[.,[[.,.],.]]]=>32
[[[[.,[.,.]],.],.],[[.,.],[.,.]]]=>31
[[[[.,[.,.]],.],.],[[[.,.],.],.]]=>32
[[.,[[.,.],[[.,.],.]]],[[.,.],.]]=>32
[[.,[[.,[[.,.],.]],.]],[[.,.],.]]=>34
[[[[.,.],.],[.,[.,.]]],[.,[.,.]]]=>30
[[[[.,.],.],[.,[.,.]]],[[.,.],.]]=>30
[[[[.,.],.],[[.,.],.]],[[.,.],.]]=>30
[[[[.,.],[.,.]],[.,.]],[.,[.,.]]]=>30
[[[[.,.],[.,.]],[.,.]],[[.,.],.]]=>30
[[[[.,[.,.]],.],[.,.]],[.,[.,.]]]=>31
[[[[.,[.,.]],.],[.,.]],[[.,.],.]]=>31
[[[[.,.],[.,[.,.]]],.],[.,[.,.]]]=>32
[[[[.,.],[.,[.,.]]],.],[[.,.],.]]=>32
[[[[.,.],[[.,.],.]],.],[[.,.],.]]=>32
[[[[.,[.,.]],[.,.]],.],[.,[.,.]]]=>32
[[[[.,[.,.]],[.,.]],.],[[.,.],.]]=>32
[[[[.,[.,[.,.]]],.],.],[.,[.,.]]]=>34
[[[[.,[[.,.],.]],.],.],[[.,.],.]]=>34
[[[[[[.,.],.],.],.],.],[[.,.],.]]=>34
[[.,[[.,[[.,[.,.]],.]],.]],[.,.]]=>38
[[.,[[[.,[.,.]],[.,.]],.]],[.,.]]=>36
[[[.,[.,.]],[[.,.],[.,.]]],[.,.]]=>31
[[[.,[.,.]],[[.,[.,.]],.]],[.,.]]=>32
[[[[.,.],.],[[.,.],[.,.]]],[.,.]]=>31
[[[[.,.],.],[[.,[.,.]],.]],[.,.]]=>32
[[[[.,.],.],[[[.,.],.],.]],[.,.]]=>32
[[[[.,.],[.,.]],[.,[.,.]]],[.,.]]=>31
[[[[.,.],[.,.]],[[.,.],.]],[.,.]]=>31
[[[[.,[.,.]],.],[[.,.],.]],[.,.]]=>32
[[[.,[[.,[.,.]],.]],[.,.]],[.,.]]=>34
[[[[.,.],[.,[.,.]]],[.,.]],[.,.]]=>32
[[[[.,.],[[.,.],.]],[.,.]],[.,.]]=>32
[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]=>32
[[[[[[.,.],.],.],.],[.,.]],[.,.]]=>34
[[[.,[[.,[.,.]],[.,.]]],.],[.,.]]=>36
[[[[[[.,.],.],.],[.,.]],.],[.,.]]=>35
[[[[.,[[[.,.],.],.]],.],.],[.,.]]=>38
[[[[[[.,.],.],[.,.]],.],.],[.,.]]=>36
[[[[[.,[.,[.,.]]],.],.],.],[.,.]]=>38
[[[[[.,[[.,.],.]],.],.],.],[.,.]]=>38
[[[[[[.,.],[.,.]],.],.],.],[.,.]]=>37
[[[[[[.,[.,.]],.],.],.],.],[.,.]]=>38
[[[[[[[.,.],.],.],.],.],.],[.,.]]=>38
[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]=>44
[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]=>44
[[.,[.,[.,[.,[[.,.],[.,.]]]]]],.]=>43
[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]=>44
[[.,[.,[.,[.,[[[.,.],.],.]]]]],.]=>44
[[.,[.,[.,[[.,.],[.,[.,.]]]]]],.]=>42
[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.]=>44
[[.,[[.,.],[[.,.],[[.,.],.]]]],.]=>38
[[.,[[.,.],[[.,[[.,.],.]],.]]],.]=>40
[[.,[[.,[.,.]],[[.,.],[.,.]]]],.]=>37
[[.,[[.,[[.,.],.]],[[.,.],.]]],.]=>38
[[.,[[[.,[.,.]],[.,.]],[.,.]]],.]=>38
[[.,[[.,[[.,.],[[.,.],.]]],.]],.]=>42
[[.,[[.,[[.,[.,.]],[.,.]]],.]],.]=>42
[[.,[[.,[[.,[[.,.],.]],.]],.]],.]=>44
[[[[.,.],.],[[.,.],[[.,.],.]]],.]=>34
[[[[.,.],.],[[.,[.,.]],[.,.]]],.]=>34
[[[[.,.],.],[[[[.,.],.],.],.]],.]=>36
[[[[.,.],[.,.]],[.,[[.,.],.]]],.]=>34
[[[[.,.],[.,.]],[[.,.],[.,.]]],.]=>33
[[[[.,.],[.,.]],[[[.,.],.],.]],.]=>34
[[[[.,.],[.,[.,.]]],[.,[.,.]]],.]=>34
[[[[.,.],[[.,.],.]],[[.,.],.]],.]=>34
[[[[[[.,.],.],.],.],[[.,.],.]],.]=>36
[[[[[[.,.],.],.],[.,.]],[.,.]],.]=>36
[[[[[[.,.],.],[.,.]],.],[.,.]],.]=>37
[[[[[[.,.],[.,.]],.],.],[.,.]],.]=>38
[[[[[[.,.],.],.],[[.,.],.]],.],.]=>38
[[[[[[.,.],.],[.,.]],[.,.]],.],.]=>38
[[[[[[[[.,.],.],.],.],.],.],.],.]=>44
[.,[[[[[[[[.,.],.],.],.],.],.],.],.]]=>54
[[[[.,.],.],[.,.]],[[.,.],[.,[.,.]]]]=>34
[.,[[[[.,.],.],[.,.]],[[.,.],[.,.]]]]=>39
[[[.,[.,.]],[.,.]],[[.,.],[.,[.,.]]]]=>34
[.,[[[.,[.,.]],[.,.]],[[.,.],[.,.]]]]=>39
[[[.,.],[[.,.],.]],[[.,.],[.,[.,.]]]]=>34
[[[.,.],[.,.]],[[[.,.],[.,[.,.]]],.]]=>36
[.,[[[.,.],[[.,.],.]],[[.,.],[.,.]]]]=>39
[.,[[[.,.],[.,.]],[[[.,.],[.,.]],.]]]=>40
[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.]=>54
[[[[[[[[.,.],.],.],.],.],.],.],[.,.]]=>47
[[[[[[[.,[.,.]],.],.],.],.],.],[.,.]]=>47
[.,[[[[[[[.,[.,.]],.],.],.],.],.],.]]=>54
[[[[[[[.,.],[.,.]],.],.],.],.],[.,.]]=>46
[[[[[[.,[[.,.],.]],.],.],.],.],[.,.]]=>47
[.,[[[[[[[.,.],[.,.]],.],.],.],.],.]]=>53
[.,[[[[[[.,[[.,.],.]],.],.],.],.],.]]=>54
[[.,.],[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>47
[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.]=>54
[[.,.],[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>47
[[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]],.]=>54
[[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]],.]=>53
[[.,.],[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>47
[[.,.],[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>46
[.,[[[[[[[[[.,.],.],.],.],.],.],.],.],.]]=>65
[[[[.,.],[.,.]],[.,.]],[[.,.],[.,[.,.]]]]=>39
[.,[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]]]=>45
[[[[[.,.],.],.],[.,.]],[[.,.],[.,[.,.]]]]=>40
[.,[[[[[.,.],.],.],[.,.]],[[.,.],[.,.]]]]=>46
[[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]],.]=>65
[[.,.],[[.,.],[[.,.],[[.,.],[[.,.],.]]]]]=>45
[[.,.],[[.,.],[[.,.],[[.,[[.,.],.]],.]]]]=>47
[[.,.],[[.,.],[[.,[[.,.],.]],[[.,.],.]]]]=>45
[[.,.],[[.,.],[[.,[[.,.],[[.,.],.]]],.]]]=>49
[[.,.],[[.,.],[[.,[[.,[[.,.],.]],.]],.]]]=>51
[[.,.],[[.,[[.,.],.]],[[.,.],[[.,.],.]]]]=>43
[[.,.],[[.,[[.,.],.]],[[.,[[.,.],.]],.]]]=>45
[[.,.],[[.,[[.,.],[[.,.],.]]],[[.,.],.]]]=>45
[[.,.],[[.,[[.,[[.,.],.]],.]],[[.,.],.]]]=>47
[[.,.],[[.,[[.,.],[[.,.],[[.,.],.]]]],.]]=>51
[[.,.],[[.,[[.,.],[[.,[[.,.],.]],.]]],.]]=>53
[[.,.],[[.,[[.,[[.,.],.]],[[.,.],.]]],.]]=>51
[[.,.],[[.,[[.,[[.,.],[[.,.],.]]],.]],.]]=>55
[[.,.],[[.,[[.,[[.,[[.,.],.]],.]],.]],.]]=>57
[[.,[[.,.],.]],[[.,.],[[.,.],[[.,.],.]]]]=>41
[[.,[[.,.],.]],[[.,.],[[.,[[.,.],.]],.]]]=>43
[[.,[[.,.],.]],[[.,[[.,.],.]],[[.,.],.]]]=>41
[[.,[[.,.],.]],[[.,[[.,.],[[.,.],.]]],.]]=>45
[[.,[[.,.],.]],[[.,[[.,[[.,.],.]],.]],.]]=>47
[[.,[[.,.],[[.,.],.]]],[[.,.],[[.,.],.]]]=>41
[[.,[[.,.],[[.,.],.]]],[[.,[[.,.],.]],.]]=>43
[[.,[[.,[[.,.],.]],.]],[[.,.],[[.,.],.]]]=>43
[[.,[[.,[[.,.],.]],.]],[[.,[[.,.],.]],.]]=>45
[[.,[[.,.],[[.,.],[[.,.],.]]]],[[.,.],.]]=>45
[[.,[[.,.],[[.,[[.,.],.]],.]]],[[.,.],.]]=>47
[[.,[[.,[[.,.],.]],[[.,.],.]]],[[.,.],.]]=>45
[[.,[[.,[[.,.],[[.,.],.]]],.]],[[.,.],.]]=>49
[[.,[[.,[[.,[[.,.],.]],.]],.]],[[.,.],.]]=>51
[[.,[[.,.],[[.,.],[[.,.],[[.,.],.]]]]],.]=>53
[[.,[[.,.],[[.,.],[[.,[[.,.],.]],.]]]],.]=>55
[[.,[[.,.],[[.,[[.,.],.]],[[.,.],.]]]],.]=>53
[[.,[[.,.],[[.,[[.,.],[[.,.],.]]],.]]],.]=>57
[[.,[[.,.],[[.,[[.,[[.,.],.]],.]],.]]],.]=>59
[[.,[[.,[[.,.],.]],[[.,.],[[.,.],.]]]],.]=>51
[[.,[[.,[[.,.],.]],[[.,[[.,.],.]],.]]],.]=>53
[[.,[[.,[[.,.],[[.,.],.]]],[[.,.],.]]],.]=>53
[[.,[[.,[[.,[[.,.],.]],.]],[[.,.],.]]],.]=>55
[[.,[[.,[[.,.],[[.,.],[[.,.],.]]]],.]],.]=>59
[[.,[[.,[[.,.],[[.,[[.,.],.]],.]]],.]],.]=>61
[[.,[[.,[[.,[[.,.],.]],[[.,.],.]]],.]],.]=>59
[[.,[[.,[[.,[[.,.],[[.,.],.]]],.]],.]],.]=>63
[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.]=>65
[.,[[.,[[.,[[.,[[.,.],[.,.]]],.]],.]],.]]=>64
[.,[[.,[[.,[[[.,.],[.,.]],[.,.]]],.]],.]]=>61
[.,[[.,[[[.,.],[.,.]],[[.,.],[.,.]]]],.]]=>54
[.,[[.,[[[.,[[.,.],[.,.]]],.],[.,.]]],.]]=>59
[.,[[.,[[[[.,.],[.,.]],[.,.]],[.,.]]],.]]=>56
[.,[[[.,.],[.,.]],[[.,[[.,.],[.,.]]],.]]]=>48
[.,[[[.,.],[.,.]],[[[.,.],[.,.]],[.,.]]]]=>45
[.,[[[.,[[.,.],[.,.]]],.],[[.,.],[.,.]]]]=>48
[.,[[[.,[[.,[[.,.],[.,.]]],.]],.],[.,.]]]=>57
[.,[[[.,[[[.,.],[.,.]],[.,.]]],.],[.,.]]]=>54
[.,[[[[.,.],[.,.]],[[.,.],[.,.]]],[.,.]]]=>47
[.,[[[[.,[[.,.],[.,.]]],.],[.,.]],[.,.]]]=>52
[.,[[[[[.,.],[.,.]],[.,.]],[.,.]],[.,.]]]=>49
[[.,[.,.]],[[.,[[.,[[.,.],[.,.]]],.]],.]]=>50
[[.,[.,.]],[[.,[[[.,.],[.,.]],[.,.]]],.]]=>47
[[.,[.,.]],[[[.,.],[.,.]],[[.,.],[.,.]]]]=>40
[[.,[.,.]],[[[.,[[.,.],[.,.]]],.],[.,.]]]=>45
[[.,[.,.]],[[[[.,.],[.,.]],[.,.]],[.,.]]]=>42
[[.,[[.,[.,.]],[[.,[[.,.],[.,.]]],.]]],.]=>54
[[.,[[.,[.,.]],[[[.,.],[.,.]],[.,.]]]],.]=>51
[[[.,[.,.]],[[.,[[.,.],[.,.]]],.]],[.,.]]=>46
[[[.,[.,.]],[[[.,.],[.,.]],[.,.]]],[.,.]]=>43
[[.,[[.,[[.,[.,.]],[[.,.],[.,.]]]],.]],.]=>58
[[.,[[[.,[.,.]],[[.,.],[.,.]]],[.,.]]],.]=>52
[[[.,[.,.]],[[.,.],[.,.]]],[[.,.],[.,.]]]=>39
[[[.,[[.,[.,.]],[[.,.],[.,.]]]],.],[.,.]]=>50
[[[[.,[.,.]],[[.,.],[.,.]]],[.,.]],[.,.]]=>44
[[.,[[.,[[.,[[.,[.,.]],[.,.]]],.]],.]],.]=>63
[[.,[[.,[[[.,[.,.]],[.,.]],[.,.]]],.]],.]=>59
[[.,[[[.,.],[.,.]],[.,[[.,.],[.,.]]]]],.]=>51
[[.,[[[.,[[.,[.,.]],[.,.]]],.],[.,.]]],.]=>57
[[.,[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]],.]=>53
[[[.,.],[.,.]],[.,[[.,[[.,.],[.,.]]],.]]]=>45
[[[.,.],[.,.]],[.,[[[.,.],[.,.]],[.,.]]]]=>42
[[[.,[[.,.],[.,.]]],.],[.,[[.,.],[.,.]]]]=>43
[[[[.,.],[.,.]],[.,.]],[.,[[.,.],[.,.]]]]=>40
[[[.,[[.,[[.,[.,.]],[.,.]]],.]],.],[.,.]]=>55
[[[.,[[[.,[.,.]],[.,.]],[.,.]]],.],[.,.]]=>51
[[[[.,.],[.,.]],[.,[[.,.],[.,.]]]],[.,.]]=>43
[[[[.,[[.,[.,.]],[.,.]]],.],[.,.]],[.,.]]=>49
[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],[.,.]]=>45
[[[[[[[[[.,.],.],.],.],.],.],.],.],[.,.]]=>57
[[[[[[[[.,[.,.]],.],.],.],.],.],.],[.,.]]=>57
[.,[[[[[[[[.,[.,.]],.],.],.],.],.],.],.]]=>65
[[.,.],[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]=>57
[[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]],.]=>65
[[.,.],[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]]=>57
[.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]]=>65
[.,[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],.]]=>63
[.,[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],.]]=>59
[.,[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],.]]=>61
[.,[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],.]]=>59
[.,[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],.]]=>55
[.,[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],.]]=>53
[.,[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],.]]=>53
[.,[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],.]]=>51
[.,[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],.]]=>59
[.,[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],.]]=>57
[.,[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],.]]=>53
[.,[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],.]]=>55
[.,[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],.]]=>53
[[.,[.,.]],[[.,[[.,[[.,[.,.]],.]],.]],.]]=>51
[[.,[.,.]],[[.,[[[.,[.,.]],[.,.]],.]],.]]=>49
[[.,[.,.]],[[[.,[.,.]],[[.,[.,.]],.]],.]]=>45
[[.,[.,.]],[[[.,[[.,[.,.]],.]],[.,.]],.]]=>47
[[.,[.,.]],[[[[.,[.,.]],[.,.]],[.,.]],.]]=>45
[[.,[[.,[.,.]],.]],[[.,[[.,[.,.]],.]],.]]=>45
[[.,[[.,[.,.]],.]],[[[.,[.,.]],[.,.]],.]]=>43
[[[.,[.,.]],[.,.]],[[.,[[.,[.,.]],.]],.]]=>43
[[[.,[.,.]],[.,.]],[[[.,[.,.]],[.,.]],.]]=>41
[[.,[[.,[[.,[.,.]],.]],.]],[[.,[.,.]],.]]=>47
[[.,[[[.,[.,.]],[.,.]],.]],[[.,[.,.]],.]]=>45
[[[.,[.,.]],[[.,[.,.]],.]],[[.,[.,.]],.]]=>41
[[[.,[[.,[.,.]],.]],[.,.]],[[.,[.,.]],.]]=>43
[[[[.,[.,.]],[.,.]],[.,.]],[[.,[.,.]],.]]=>41
[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],[.,.]]=>57
[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],[.,.]]=>55
[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],[.,.]]=>51
[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],[.,.]]=>53
[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],[.,.]]=>51
[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],[.,.]]=>47
[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],[.,.]]=>45
[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],[.,.]]=>45
[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],[.,.]]=>43
[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],[.,.]]=>51
[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],[.,.]]=>49
[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],[.,.]]=>45
[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],[.,.]]=>47
[[[[.,.],[.,.]],[[.,.],.]],[[.,.],[.,[.,.]]]]=>44
[.,[[[[.,.],[.,.]],[[.,.],.]],[[.,.],[.,.]]]]=>51
[[[[[[[[[[.,.],.],.],.],.],.],.],.],.],[.,.]]=>68
[.,[[[[[[[[[[.,.],.],.],.],.],.],.],.],.],.]]=>77
[[.,[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]],.]=>77
[[.,.],[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]]=>68
[[.,.],[[.,.],[[.,.],[[.,.],[[.,.],[[.,.],.]]]]]]=>60
[[.,.],[[.,.],[[.,.],[[.,.],[[.,[[.,.],.]],.]]]]]=>62
[[.,.],[[.,.],[[.,.],[[.,[[.,.],.]],[[.,.],.]]]]]=>60
[[.,.],[[.,.],[[.,.],[[.,[[.,.],[[.,.],.]]],.]]]]=>64
[[.,.],[[.,.],[[.,.],[[.,[[.,[[.,.],.]],.]],.]]]]=>66
[[.,.],[[.,.],[[.,[[.,.],.]],[[.,.],[[.,.],.]]]]]=>58
[[.,.],[[.,.],[[.,[[.,.],.]],[[.,[[.,.],.]],.]]]]=>60
[[.,.],[[.,.],[[.,[[.,.],[[.,.],.]]],[[.,.],.]]]]=>60
[[.,.],[[.,.],[[.,[[.,[[.,.],.]],.]],[[.,.],.]]]]=>62
[[.,.],[[.,.],[[.,[[.,.],[[.,.],[[.,.],.]]]],.]]]=>66
[[.,.],[[.,.],[[.,[[.,.],[[.,[[.,.],.]],.]]],.]]]=>68
[[.,.],[[.,.],[[.,[[.,[[.,.],.]],[[.,.],.]]],.]]]=>66
[[.,.],[[.,.],[[.,[[.,[[.,.],[[.,.],.]]],.]],.]]]=>70
[[.,.],[[.,.],[[.,[[.,[[.,[[.,.],.]],.]],.]],.]]]=>72
[[.,.],[[.,[[.,.],.]],[[.,.],[[.,.],[[.,.],.]]]]]=>56
[[.,.],[[.,[[.,.],.]],[[.,.],[[.,[[.,.],.]],.]]]]=>58
[[.,.],[[.,[[.,.],.]],[[.,[[.,.],.]],[[.,.],.]]]]=>56
[[.,.],[[.,[[.,.],.]],[[.,[[.,.],[[.,.],.]]],.]]]=>60
[[.,.],[[.,[[.,.],.]],[[.,[[.,[[.,.],.]],.]],.]]]=>62
[[.,.],[[.,[[.,.],[[.,.],.]]],[[.,.],[[.,.],.]]]]=>56
[[.,.],[[.,[[.,.],[[.,.],.]]],[[.,[[.,.],.]],.]]]=>58
[[.,.],[[.,[[.,[[.,.],.]],.]],[[.,.],[[.,.],.]]]]=>58
[[.,.],[[.,[[.,[[.,.],.]],.]],[[.,[[.,.],.]],.]]]=>60
[[.,.],[[.,[[.,.],[[.,.],[[.,.],.]]]],[[.,.],.]]]=>60
[[.,.],[[.,[[.,.],[[.,[[.,.],.]],.]]],[[.,.],.]]]=>62
[[.,.],[[.,[[.,[[.,.],.]],[[.,.],.]]],[[.,.],.]]]=>60
[[.,.],[[.,[[.,[[.,.],[[.,.],.]]],.]],[[.,.],.]]]=>64
[[.,.],[[.,[[.,[[.,[[.,.],.]],.]],.]],[[.,.],.]]]=>66
[[.,.],[[.,[[.,.],[[.,.],[[.,.],[[.,.],.]]]]],.]]=>68
[[.,.],[[.,[[.,.],[[.,.],[[.,[[.,.],.]],.]]]],.]]=>70
[[.,.],[[.,[[.,.],[[.,[[.,.],.]],[[.,.],.]]]],.]]=>68
[[.,.],[[.,[[.,.],[[.,[[.,.],[[.,.],.]]],.]]],.]]=>72
[[.,.],[[.,[[.,.],[[.,[[.,[[.,.],.]],.]],.]]],.]]=>74
[[.,.],[[.,[[.,[[.,.],.]],[[.,.],[[.,.],.]]]],.]]=>66
[[.,.],[[.,[[.,[[.,.],.]],[[.,[[.,.],.]],.]]],.]]=>68
[[.,.],[[.,[[.,[[.,.],[[.,.],.]]],[[.,.],.]]],.]]=>68
[[.,.],[[.,[[.,[[.,[[.,.],.]],.]],[[.,.],.]]],.]]=>70
[[.,.],[[.,[[.,[[.,.],[[.,.],[[.,.],.]]]],.]],.]]=>74
[[.,.],[[.,[[.,[[.,.],[[.,[[.,.],.]],.]]],.]],.]]=>76
[[.,.],[[.,[[.,[[.,[[.,.],.]],[[.,.],.]]],.]],.]]=>74
[[.,.],[[.,[[.,[[.,[[.,.],[[.,.],.]]],.]],.]],.]]=>78
[[.,.],[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.]]=>80
[[.,[[.,.],.]],[[.,.],[[.,.],[[.,.],[[.,.],.]]]]]=>54
[[.,[[.,.],.]],[[.,.],[[.,.],[[.,[[.,.],.]],.]]]]=>56
[[.,[[.,.],.]],[[.,.],[[.,[[.,.],.]],[[.,.],.]]]]=>54
[[.,[[.,.],.]],[[.,.],[[.,[[.,.],[[.,.],.]]],.]]]=>58
[[.,[[.,.],.]],[[.,.],[[.,[[.,[[.,.],.]],.]],.]]]=>60
[[.,[[.,.],.]],[[.,[[.,.],.]],[[.,.],[[.,.],.]]]]=>52
[[.,[[.,.],.]],[[.,[[.,.],.]],[[.,[[.,.],.]],.]]]=>54
[[.,[[.,.],.]],[[.,[[.,.],[[.,.],.]]],[[.,.],.]]]=>54
[[.,[[.,.],.]],[[.,[[.,[[.,.],.]],.]],[[.,.],.]]]=>56
[[.,[[.,.],.]],[[.,[[.,.],[[.,.],[[.,.],.]]]],.]]=>60
[[.,[[.,.],.]],[[.,[[.,.],[[.,[[.,.],.]],.]]],.]]=>62
[[.,[[.,.],.]],[[.,[[.,[[.,.],.]],[[.,.],.]]],.]]=>60
[[.,[[.,.],.]],[[.,[[.,[[.,.],[[.,.],.]]],.]],.]]=>64
[[.,[[.,.],.]],[[.,[[.,[[.,[[.,.],.]],.]],.]],.]]=>66
[[.,[[.,.],[[.,.],.]]],[[.,.],[[.,.],[[.,.],.]]]]=>52
[[.,[[.,.],[[.,.],.]]],[[.,.],[[.,[[.,.],.]],.]]]=>54
[[.,[[.,.],[[.,.],.]]],[[.,[[.,.],.]],[[.,.],.]]]=>52
[[.,[[.,.],[[.,.],.]]],[[.,[[.,.],[[.,.],.]]],.]]=>56
[[.,[[.,.],[[.,.],.]]],[[.,[[.,[[.,.],.]],.]],.]]=>58
[[.,[[.,[[.,.],.]],.]],[[.,.],[[.,.],[[.,.],.]]]]=>54
[[.,[[.,[[.,.],.]],.]],[[.,.],[[.,[[.,.],.]],.]]]=>56
[[.,[[.,[[.,.],.]],.]],[[.,[[.,.],.]],[[.,.],.]]]=>54
[[.,[[.,[[.,.],.]],.]],[[.,[[.,.],[[.,.],.]]],.]]=>58
[[.,[[.,[[.,.],.]],.]],[[.,[[.,[[.,.],.]],.]],.]]=>60
[[.,[[.,.],[[.,.],[[.,.],.]]]],[[.,.],[[.,.],.]]]=>54
[[.,[[.,.],[[.,.],[[.,.],.]]]],[[.,[[.,.],.]],.]]=>56
[[.,[[.,.],[[.,[[.,.],.]],.]]],[[.,.],[[.,.],.]]]=>56
[[.,[[.,.],[[.,[[.,.],.]],.]]],[[.,[[.,.],.]],.]]=>58
[[.,[[.,[[.,.],.]],[[.,.],.]]],[[.,.],[[.,.],.]]]=>54
[[.,[[.,[[.,.],.]],[[.,.],.]]],[[.,[[.,.],.]],.]]=>56
[[.,[[.,[[.,.],[[.,.],.]]],.]],[[.,.],[[.,.],.]]]=>58
[[.,[[.,[[.,.],[[.,.],.]]],.]],[[.,[[.,.],.]],.]]=>60
[[.,[[.,[[.,[[.,.],.]],.]],.]],[[.,.],[[.,.],.]]]=>60
[[.,[[.,[[.,[[.,.],.]],.]],.]],[[.,[[.,.],.]],.]]=>62
[[.,[[.,.],[[.,.],[[.,.],[[.,.],.]]]]],[[.,.],.]]=>60
[[.,[[.,.],[[.,.],[[.,[[.,.],.]],.]]]],[[.,.],.]]=>62
[[.,[[.,.],[[.,[[.,.],.]],[[.,.],.]]]],[[.,.],.]]=>60
[[.,[[.,.],[[.,[[.,.],[[.,.],.]]],.]]],[[.,.],.]]=>64
[[.,[[.,.],[[.,[[.,[[.,.],.]],.]],.]]],[[.,.],.]]=>66
[[.,[[.,[[.,.],.]],[[.,.],[[.,.],.]]]],[[.,.],.]]=>58
[[.,[[.,[[.,.],.]],[[.,[[.,.],.]],.]]],[[.,.],.]]=>60
[[.,[[.,[[.,.],[[.,.],.]]],[[.,.],.]]],[[.,.],.]]=>60
[[.,[[.,[[.,[[.,.],.]],.]],[[.,.],.]]],[[.,.],.]]=>62
[[.,[[.,[[.,.],[[.,.],[[.,.],.]]]],.]],[[.,.],.]]=>66
[[.,[[.,[[.,.],[[.,[[.,.],.]],.]]],.]],[[.,.],.]]=>68
[[.,[[.,[[.,[[.,.],.]],[[.,.],.]]],.]],[[.,.],.]]=>66
[[.,[[.,[[.,[[.,.],[[.,.],.]]],.]],.]],[[.,.],.]]=>70
[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],[[.,.],.]]=>72
[[.,[[.,.],[[.,.],[[.,.],[[.,.],[[.,.],.]]]]]],.]=>70
[[.,[[.,.],[[.,.],[[.,.],[[.,[[.,.],.]],.]]]]],.]=>72
[[.,[[.,.],[[.,.],[[.,[[.,.],.]],[[.,.],.]]]]],.]=>70
[[.,[[.,.],[[.,.],[[.,[[.,.],[[.,.],.]]],.]]]],.]=>74
[[.,[[.,.],[[.,.],[[.,[[.,[[.,.],.]],.]],.]]]],.]=>76
[[.,[[.,.],[[.,[[.,.],.]],[[.,.],[[.,.],.]]]]],.]=>68
[[.,[[.,.],[[.,[[.,.],.]],[[.,[[.,.],.]],.]]]],.]=>70
[[.,[[.,.],[[.,[[.,.],[[.,.],.]]],[[.,.],.]]]],.]=>70
[[.,[[.,.],[[.,[[.,[[.,.],.]],.]],[[.,.],.]]]],.]=>72
[[.,[[.,.],[[.,[[.,.],[[.,.],[[.,.],.]]]],.]]],.]=>76
[[.,[[.,.],[[.,[[.,.],[[.,[[.,.],.]],.]]],.]]],.]=>78
[[.,[[.,.],[[.,[[.,[[.,.],.]],[[.,.],.]]],.]]],.]=>76
[[.,[[.,.],[[.,[[.,[[.,.],[[.,.],.]]],.]],.]]],.]=>80
[[.,[[.,.],[[.,[[.,[[.,[[.,.],.]],.]],.]],.]]],.]=>82
[[.,[[.,[[.,.],.]],[[.,.],[[.,.],[[.,.],.]]]]],.]=>66
[[.,[[.,[[.,.],.]],[[.,.],[[.,[[.,.],.]],.]]]],.]=>68
[[.,[[.,[[.,.],.]],[[.,[[.,.],.]],[[.,.],.]]]],.]=>66
[[.,[[.,[[.,.],.]],[[.,[[.,.],[[.,.],.]]],.]]],.]=>70
[[.,[[.,[[.,.],.]],[[.,[[.,[[.,.],.]],.]],.]]],.]=>72
[[.,[[.,[[.,.],[[.,.],.]]],[[.,.],[[.,.],.]]]],.]=>66
[[.,[[.,[[.,.],[[.,.],.]]],[[.,[[.,.],.]],.]]],.]=>68
[[.,[[.,[[.,[[.,.],.]],.]],[[.,.],[[.,.],.]]]],.]=>68
[[.,[[.,[[.,[[.,.],.]],.]],[[.,[[.,.],.]],.]]],.]=>70
[[.,[[.,[[.,.],[[.,.],[[.,.],.]]]],[[.,.],.]]],.]=>70
[[.,[[.,[[.,.],[[.,[[.,.],.]],.]]],[[.,.],.]]],.]=>72
[[.,[[.,[[.,[[.,.],.]],[[.,.],.]]],[[.,.],.]]],.]=>70
[[.,[[.,[[.,[[.,.],[[.,.],.]]],.]],[[.,.],.]]],.]=>74
[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],[[.,.],.]]],.]=>76
[[.,[[.,[[.,.],[[.,.],[[.,.],[[.,.],.]]]]],.]],.]=>78
[[.,[[.,[[.,.],[[.,.],[[.,[[.,.],.]],.]]]],.]],.]=>80
[[.,[[.,[[.,.],[[.,[[.,.],.]],[[.,.],.]]]],.]],.]=>78
[[.,[[.,[[.,.],[[.,[[.,.],[[.,.],.]]],.]]],.]],.]=>82
[[.,[[.,[[.,.],[[.,[[.,[[.,.],.]],.]],.]]],.]],.]=>84
[[.,[[.,[[.,[[.,.],.]],[[.,.],[[.,.],.]]]],.]],.]=>76
[[.,[[.,[[.,[[.,.],.]],[[.,[[.,.],.]],.]]],.]],.]=>78
[[.,[[.,[[.,[[.,.],[[.,.],.]]],[[.,.],.]]],.]],.]=>78
[[.,[[.,[[.,[[.,[[.,.],.]],.]],[[.,.],.]]],.]],.]=>80
[[.,[[.,[[.,[[.,.],[[.,.],[[.,.],.]]]],.]],.]],.]=>84
[[.,[[.,[[.,[[.,.],[[.,[[.,.],.]],.]]],.]],.]],.]=>86
[[.,[[.,[[.,[[.,[[.,.],.]],[[.,.],.]]],.]],.]],.]=>84
[[.,[[.,[[.,[[.,[[.,.],[[.,.],.]]],.]],.]],.]],.]=>88
[[.,[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.]],.]=>90
[.,[[.,[[.,[[.,[[.,[[.,.],[.,.]]],.]],.]],.]],.]]=>89
[.,[[.,[[.,[[.,[[[.,.],[.,.]],[.,.]]],.]],.]],.]]=>86
[.,[[.,[[.,[[[.,.],[.,.]],[[.,.],[.,.]]]],.]],.]]=>79
[.,[[.,[[.,[[[.,[[.,.],[.,.]]],.],[.,.]]],.]],.]]=>84
[.,[[.,[[.,[[[[.,.],[.,.]],[.,.]],[.,.]]],.]],.]]=>81
[.,[[.,[[[.,.],[.,.]],[[.,[[.,.],[.,.]]],.]]],.]]=>73
[.,[[.,[[[.,.],[.,.]],[[[.,.],[.,.]],[.,.]]]],.]]=>70
[.,[[.,[[[.,[[.,.],[.,.]]],.],[[.,.],[.,.]]]],.]]=>73
[.,[[.,[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]]],.]]=>70
[.,[[.,[[[.,[[.,[[.,.],[.,.]]],.]],.],[.,.]]],.]]=>82
[.,[[.,[[[.,[[[.,.],[.,.]],[.,.]]],.],[.,.]]],.]]=>79
[.,[[.,[[[[.,.],[.,.]],[[.,.],[.,.]]],[.,.]]],.]]=>72
[.,[[.,[[[[.,[[.,.],[.,.]]],.],[.,.]],[.,.]]],.]]=>77
[.,[[.,[[[[[.,.],[.,.]],[.,.]],[.,.]],[.,.]]],.]]=>74
[.,[[[.,.],[.,.]],[[.,[[.,[[.,.],[.,.]]],.]],.]]]=>67
[.,[[[.,.],[.,.]],[[.,[[[.,.],[.,.]],[.,.]]],.]]]=>64
[.,[[[.,[.,.]],[[[.,.],[.,.]],[[.,.],[.,.]]]],.]]=>65
[.,[[[.,.],[.,.]],[[[.,[[.,.],[.,.]]],.],[.,.]]]]=>62
[.,[[[.,.],[.,.]],[[[[.,.],[.,.]],[.,.]],[.,.]]]]=>59
[.,[[[.,[[.,.],[.,.]]],.],[[.,[[.,.],[.,.]]],.]]]=>63
[.,[[[.,[[.,.],[.,.]]],.],[[[.,.],[.,.]],[.,.]]]]=>60
[.,[[[[.,.],[.,.]],[.,.]],[[.,[[.,.],[.,.]]],.]]]=>60
[.,[[[[.,.],[.,.]],[.,.]],[[[.,.],[.,.]],[.,.]]]]=>57
[.,[[[.,[[.,[[.,.],[.,.]]],.]],.],[[.,.],[.,.]]]]=>67
[.,[[[.,[[[.,.],[.,.]],[.,.]]],.],[[.,.],[.,.]]]]=>64
[.,[[[[.,.],[.,.]],[[.,.],[.,.]]],[[.,.],[.,.]]]]=>57
[.,[[[[.,[[.,.],[.,.]]],.],[.,.]],[[.,.],[.,.]]]]=>62
[.,[[[[[.,.],[.,.]],[.,.]],[.,.]],[[.,.],[.,.]]]]=>59
[.,[[[.,[[.,[[.,[[.,.],[.,.]]],.]],.]],.],[.,.]]]=>80
[.,[[[.,[[.,[[[.,.],[.,.]],[.,.]]],.]],.],[.,.]]]=>77
[.,[[[.,[[[.,.],[.,.]],[[.,.],[.,.]]]],.],[.,.]]]=>70
[.,[[[.,[[[.,[[.,.],[.,.]]],.],[.,.]]],.],[.,.]]]=>75
[.,[[[.,[[[[.,.],[.,.]],[.,.]],[.,.]]],.],[.,.]]]=>72
[.,[[[[.,.],[.,.]],[[.,[[.,.],[.,.]]],.]],[.,.]]]=>64
[.,[[[[.,.],[.,.]],[[[.,.],[.,.]],[.,.]]],[.,.]]]=>61
[.,[[[[.,[[.,.],[.,.]]],.],[[.,.],[.,.]]],[.,.]]]=>64
[.,[[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]],[.,.]]]=>61
[.,[[[[.,[[.,[[.,.],[.,.]]],.]],.],[.,.]],[.,.]]]=>73
[.,[[[[.,[[[.,.],[.,.]],[.,.]]],.],[.,.]],[.,.]]]=>70
[.,[[[[[.,.],[.,.]],[[.,.],[.,.]]],[.,.]],[.,.]]]=>63
[.,[[[[[.,[[.,.],[.,.]]],.],[.,.]],[.,.]],[.,.]]]=>68
[.,[[[[[[.,.],[.,.]],[.,.]],[.,.]],[.,.]],[.,.]]]=>65
[[.,[.,.]],[[.,[[.,[[.,[[.,.],[.,.]]],.]],.]],.]]=>71
[[.,[.,.]],[[.,[[.,[[[.,.],[.,.]],[.,.]]],.]],.]]=>68
[[.,[.,.]],[[.,[[[.,.],[.,.]],[[.,.],[.,.]]]],.]]=>61
[[.,[.,.]],[[.,[[[.,[[.,.],[.,.]]],.],[.,.]]],.]]=>66
[[.,[.,.]],[[.,[[[[.,.],[.,.]],[.,.]],[.,.]]],.]]=>63
[[.,[.,.]],[[[.,.],[.,.]],[[.,[[.,.],[.,.]]],.]]]=>55
[[.,[.,.]],[[[.,.],[.,.]],[[[.,.],[.,.]],[.,.]]]]=>52
[[.,[.,.]],[[[.,[[.,.],[.,.]]],.],[[.,.],[.,.]]]]=>55
[[.,[.,.]],[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]]]=>52
[[.,[.,.]],[[[.,[[.,[[.,.],[.,.]]],.]],.],[.,.]]]=>64
[[.,[.,.]],[[[.,[[[.,.],[.,.]],[.,.]]],.],[.,.]]]=>61
[[.,[.,.]],[[[[.,.],[.,.]],[[.,.],[.,.]]],[.,.]]]=>54
[[.,[.,.]],[[[[.,[[.,.],[.,.]]],.],[.,.]],[.,.]]]=>59
[[.,[.,.]],[[[[[.,.],[.,.]],[.,.]],[.,.]],[.,.]]]=>56
[[.,[[.,[.,.]],[[.,[[.,[[.,.],[.,.]]],.]],.]]],.]=>75
[[.,[[.,[.,.]],[[.,[[[.,.],[.,.]],[.,.]]],.]]],.]=>72
[[.,[[.,.],[.,.]]],[[[.,.],[.,.]],[[.,.],[.,.]]]]=>50
[[.,[[.,[.,.]],[[[.,[[.,.],[.,.]]],.],[.,.]]]],.]=>70
[[.,[[.,[.,.]],[[[[.,.],[.,.]],[.,.]],[.,.]]]],.]=>67
[[[.,[.,.]],[[.,[[.,[[.,.],[.,.]]],.]],.]],[.,.]]=>65
[[[.,[.,.]],[[.,[[[.,.],[.,.]],[.,.]]],.]],[.,.]]=>62
[[[.,[.,.]],[.,.]],[[[.,.],[.,.]],[[.,.],[.,.]]]]=>49
[[[.,[.,.]],[[[.,[[.,.],[.,.]]],.],[.,.]]],[.,.]]=>60
[[[.,[.,.]],[[[[.,.],[.,.]],[.,.]],[.,.]]],[.,.]]=>57
[[.,[[.,[[.,[.,.]],[[.,[[.,.],[.,.]]],.]]],.]],.]=>79
[[.,[[.,[[.,[.,.]],[[[.,.],[.,.]],[.,.]]]],.]],.]=>76
[[.,[[[.,[.,.]],[[.,[[.,.],[.,.]]],.]],[.,.]]],.]=>71
[[.,[[[.,[.,.]],[[[.,.],[.,.]],[.,.]]],[.,.]]],.]=>68
[[[.,[.,.]],[[.,.],[.,.]]],[[.,[[.,.],[.,.]]],.]]=>52
[[[.,[.,.]],[[.,.],[.,.]]],[[[.,.],[.,.]],[.,.]]]=>49
[[[.,[[.,[.,.]],[[.,[[.,.],[.,.]]],.]]],.],[.,.]]=>69
[[[.,[[.,[.,.]],[[[.,.],[.,.]],[.,.]]]],.],[.,.]]=>66
[[[[.,[.,.]],[[.,[[.,.],[.,.]]],.]],[.,.]],[.,.]]=>61
[[[[.,[.,.]],[[[.,.],[.,.]],[.,.]]],[.,.]],[.,.]]=>58
[[.,[[.,[[.,[[.,[.,.]],[[.,.],[.,.]]]],.]],.]],.]=>83
[[.,[[.,[[[.,[.,.]],[[.,.],[.,.]]],[.,.]]],.]],.]=>77
[[.,[[[.,[.,.]],[[.,.],[.,.]]],[[.,.],[.,.]]]],.]=>64
[[.,[[[.,[[.,[.,.]],[[.,.],[.,.]]]],.],[.,.]]],.]=>75
[[.,[[[[.,[.,.]],[[.,.],[.,.]]],[.,.]],[.,.]]],.]=>69
[[[.,[.,.]],[[.,[[.,.],[.,.]]],.]],[[.,.],[.,.]]]=>54
[[[.,[.,.]],[[[.,.],[.,.]],[.,.]]],[[.,.],[.,.]]]=>51
[[[.,[[.,[.,.]],[[.,.],[.,.]]]],.],[[.,.],[.,.]]]=>58
[[[[.,[.,.]],[[.,.],[.,.]]],[.,.]],[[.,.],[.,.]]]=>52
[[[.,[[.,[[.,[.,.]],[[.,.],[.,.]]]],.]],.],[.,.]]=>73
[[[.,[[[.,[.,.]],[[.,.],[.,.]]],[.,.]]],.],[.,.]]=>67
[[[[.,[.,.]],[[.,.],[.,.]]],[[.,.],[.,.]]],[.,.]]=>54
[[[[.,[[.,[.,.]],[[.,.],[.,.]]]],.],[.,.]],[.,.]]=>65
[[[[[.,[.,.]],[[.,.],[.,.]]],[.,.]],[.,.]],[.,.]]=>59
[[.,[[.,[[.,[[.,[[.,[.,.]],[.,.]]],.]],.]],.]],.]=>88
[[.,[[.,[[.,[[[.,[.,.]],[.,.]],[.,.]]],.]],.]],.]=>84
[[.,[[.,[[[.,.],[.,.]],[.,[[.,.],[.,.]]]]],.]],.]=>76
[[.,[[.,[[[.,[[.,[.,.]],[.,.]]],.],[.,.]]],.]],.]=>82
[[.,[[.,[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]],.]],.]=>78
[[.,[[[.,.],[.,.]],[.,[[.,[[.,.],[.,.]]],.]]]],.]=>70
[[.,[[[.,.],[.,.]],[.,[[[.,.],[.,.]],[.,.]]]]],.]=>67
[[.,[[[.,[[.,.],[.,.]]],.],[.,[[.,.],[.,.]]]]],.]=>68
[[.,[[[[.,.],[.,.]],[.,.]],[.,[[.,.],[.,.]]]]],.]=>65
[[.,[[[.,[[.,[[.,[.,.]],[.,.]]],.]],.],[.,.]]],.]=>80
[[.,[[[.,[[[.,[.,.]],[.,.]],[.,.]]],.],[.,.]]],.]=>76
[[.,[[[[.,.],[.,.]],[.,[[.,.],[.,.]]]],[.,.]]],.]=>68
[[.,[[[[.,[[.,[.,.]],[.,.]]],.],[.,.]],[.,.]]],.]=>74
[[.,[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],[.,.]]],.]=>70
[[[.,.],[.,.]],[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]]=>64
[[[.,.],[.,.]],[.,[[.,[[[.,.],[.,.]],[.,.]]],.]]]=>61
[[[.,[.,.]],[[[.,.],[.,.]],[.,[[.,.],[.,.]]]]],.]=>60
[[[.,.],[.,.]],[.,[[[.,[[.,.],[.,.]]],.],[.,.]]]]=>59
[[[.,.],[.,.]],[.,[[[[.,.],[.,.]],[.,.]],[.,.]]]]=>56
[[[.,[[.,.],[.,.]]],.],[.,[[.,[[.,.],[.,.]]],.]]]=>58
[[[.,[[.,.],[.,.]]],.],[.,[[[.,.],[.,.]],[.,.]]]]=>55
[[[[.,.],[.,.]],[.,.]],[.,[[.,[[.,.],[.,.]]],.]]]=>55
[[[[.,.],[.,.]],[.,.]],[.,[[[.,.],[.,.]],[.,.]]]]=>52
[[[.,[[.,[[.,.],[.,.]]],.]],.],[.,[[.,.],[.,.]]]]=>60
[[[.,[[[.,.],[.,.]],[.,.]]],.],[.,[[.,.],[.,.]]]]=>57
[[[[.,.],[.,.]],[.,[[.,.],[.,.]]]],[[.,.],[.,.]]]=>51
[[[[.,[[.,.],[.,.]]],.],[.,.]],[.,[[.,.],[.,.]]]]=>55
[[[[[.,.],[.,.]],[.,.]],[.,.]],[.,[[.,.],[.,.]]]]=>52
[[[.,[[.,[[.,[[.,[.,.]],[.,.]]],.]],.]],.],[.,.]]=>78
[[[.,[[.,[[[.,[.,.]],[.,.]],[.,.]]],.]],.],[.,.]]=>74
[[[.,[[[.,.],[.,.]],[.,[[.,.],[.,.]]]]],.],[.,.]]=>66
[[[.,[[[.,[[.,[.,.]],[.,.]]],.],[.,.]]],.],[.,.]]=>72
[[[.,[[[[.,[.,.]],[.,.]],[.,.]],[.,.]]],.],[.,.]]=>68
[[[[.,.],[.,.]],[.,[[.,[[.,.],[.,.]]],.]]],[.,.]]=>60
[[[[.,.],[.,.]],[.,[[[.,.],[.,.]],[.,.]]]],[.,.]]=>57
[[[[.,[[.,.],[.,.]]],.],[.,[[.,.],[.,.]]]],[.,.]]=>58
[[[[[.,.],[.,.]],[.,.]],[.,[[.,.],[.,.]]]],[.,.]]=>55
[[[[.,[[.,[[.,[.,.]],[.,.]]],.]],.],[.,.]],[.,.]]=>70
[[[[.,[[[.,[.,.]],[.,.]],[.,.]]],.],[.,.]],[.,.]]=>66
[[[[[.,.],[.,.]],[.,[[.,.],[.,.]]]],[.,.]],[.,.]]=>58
[[[[[.,[[.,[.,.]],[.,.]]],.],[.,.]],[.,.]],[.,.]]=>64
[[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],[.,.]],[.,.]]=>60
[.,[[.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]],.]]=>90
[.,[[.,[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],.]],.]]=>88
[.,[[.,[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],.]],.]]=>84
[.,[[.,[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],.]],.]]=>86
[.,[[.,[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],.]],.]]=>84
[.,[[.,[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],.]],.]]=>80
[.,[[.,[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],.]],.]]=>78
[.,[[.,[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],.]],.]]=>78
[.,[[.,[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],.]],.]]=>76
[.,[[.,[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],.]],.]]=>84
[.,[[.,[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],.]],.]]=>82
[.,[[.,[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],.]],.]]=>78
[.,[[.,[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],.]],.]]=>80
[.,[[.,[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],.]],.]]=>78
[.,[[[.,[.,.]],[[.,[[.,[[.,[.,.]],.]],.]],.]],.]]=>76
[.,[[[.,[.,.]],[[.,[[[.,[.,.]],[.,.]],.]],.]],.]]=>74
[.,[[[.,[.,.]],[[[.,[.,.]],[[.,[.,.]],.]],.]],.]]=>70
[.,[[[.,[.,.]],[[[.,[[.,[.,.]],.]],[.,.]],.]],.]]=>72
[.,[[[.,[.,.]],[[[[.,[.,.]],[.,.]],[.,.]],.]],.]]=>70
[.,[[[.,[[.,[.,.]],.]],[[.,[[.,[.,.]],.]],.]],.]]=>70
[.,[[[.,[[.,[.,.]],.]],[[[.,[.,.]],[.,.]],.]],.]]=>68
[.,[[[[.,[.,.]],[.,.]],[[.,[[.,[.,.]],.]],.]],.]]=>68
[.,[[[[.,[.,.]],[.,.]],[[[.,[.,.]],[.,.]],.]],.]]=>66
[.,[[[.,[[.,[[.,[.,.]],.]],.]],[[.,[.,.]],.]],.]]=>72
[.,[[[.,[[[.,[.,.]],[.,.]],.]],[[.,[.,.]],.]],.]]=>70
[.,[[[[.,[.,.]],[[.,[.,.]],.]],[[.,[.,.]],.]],.]]=>66
[.,[[[[.,[[.,[.,.]],.]],[.,.]],[[.,[.,.]],.]],.]]=>68
[.,[[[[[.,[.,.]],[.,.]],[.,.]],[[.,[.,.]],.]],.]]=>66
[.,[[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],[.,.]],.]]=>82
[.,[[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],[.,.]],.]]=>80
[.,[[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],[.,.]],.]]=>76
[.,[[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],[.,.]],.]]=>78
[.,[[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],[.,.]],.]]=>76
[.,[[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],[.,.]],.]]=>72
[.,[[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],[.,.]],.]]=>70
[.,[[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],[.,.]],.]]=>70
[.,[[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],[.,.]],.]]=>68
[.,[[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],[.,.]],.]]=>76
[.,[[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],[.,.]],.]]=>74
[.,[[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],[.,.]],.]]=>70
[.,[[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],[.,.]],.]]=>72
[.,[[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],[.,.]],.]]=>70
[[.,[.,.]],[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]]=>72
[[.,[.,.]],[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],.]]=>70
[[.,[.,.]],[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],.]]=>66
[[.,[.,.]],[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],.]]=>68
[[.,[.,.]],[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],.]]=>66
[[.,[.,.]],[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],.]]=>62
[[.,[.,.]],[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],.]]=>60
[[.,[.,.]],[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],.]]=>60
[[.,[.,.]],[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],.]]=>58
[[.,[.,.]],[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],.]]=>66
[[.,[.,.]],[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],.]]=>64
[[.,[.,.]],[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],.]]=>60
[[.,[.,.]],[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],.]]=>62
[[.,[.,.]],[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],.]]=>60
[[.,[[.,[.,.]],.]],[[.,[[.,[[.,[.,.]],.]],.]],.]]=>62
[[.,[[.,[.,.]],.]],[[.,[[[.,[.,.]],[.,.]],.]],.]]=>60
[[.,[[.,[.,.]],.]],[[[.,[.,.]],[[.,[.,.]],.]],.]]=>56
[[.,[[.,[.,.]],.]],[[[.,[[.,[.,.]],.]],[.,.]],.]]=>58
[[.,[[.,[.,.]],.]],[[[[.,[.,.]],[.,.]],[.,.]],.]]=>56
[[[.,[.,.]],[.,.]],[[.,[[.,[[.,[.,.]],.]],.]],.]]=>60
[[[.,[.,.]],[.,.]],[[.,[[[.,[.,.]],[.,.]],.]],.]]=>58
[[[.,[.,.]],[.,.]],[[[.,[.,.]],[[.,[.,.]],.]],.]]=>54
[[[.,[.,.]],[.,.]],[[[.,[[.,[.,.]],.]],[.,.]],.]]=>56
[[[.,[.,.]],[.,.]],[[[[.,[.,.]],[.,.]],[.,.]],.]]=>54
[[.,[[.,[[.,[.,.]],.]],.]],[[.,[[.,[.,.]],.]],.]]=>60
[[.,[[.,[[.,[.,.]],.]],.]],[[[.,[.,.]],[.,.]],.]]=>58
[[.,[[[.,[.,.]],[.,.]],.]],[[.,[[.,[.,.]],.]],.]]=>58
[[.,[[[.,[.,.]],[.,.]],.]],[[[.,[.,.]],[.,.]],.]]=>56
[[[.,[.,.]],[[.,[.,.]],.]],[[.,[[.,[.,.]],.]],.]]=>54
[[[.,[.,.]],[[.,[.,.]],.]],[[[.,[.,.]],[.,.]],.]]=>52
[[[.,[[.,[.,.]],.]],[.,.]],[[.,[[.,[.,.]],.]],.]]=>56
[[[.,[[.,[.,.]],.]],[.,.]],[[[.,[.,.]],[.,.]],.]]=>54
[[[[.,[.,.]],[.,.]],[.,.]],[[.,[[.,[.,.]],.]],.]]=>54
[[[[.,[.,.]],[.,.]],[.,.]],[[[.,[.,.]],[.,.]],.]]=>52
[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],[[.,[.,.]],.]]=>66
[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],[[.,[.,.]],.]]=>64
[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],[[.,[.,.]],.]]=>60
[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],[[.,[.,.]],.]]=>62
[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],[[.,[.,.]],.]]=>60
[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],[[.,[.,.]],.]]=>56
[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],[[.,[.,.]],.]]=>54
[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],[[.,[.,.]],.]]=>54
[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],[[.,[.,.]],.]]=>52
[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],[[.,[.,.]],.]]=>60
[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],[[.,[.,.]],.]]=>58
[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],[[.,[.,.]],.]]=>54
[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],[[.,[.,.]],.]]=>56
[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],[[.,[.,.]],.]]=>54
[[.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]],[.,.]]=>80
[[.,[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],.]],[.,.]]=>78
[[.,[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],.]],[.,.]]=>74
[[.,[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],.]],[.,.]]=>76
[[.,[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],.]],[.,.]]=>74
[[.,[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],.]],[.,.]]=>70
[[.,[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],.]],[.,.]]=>68
[[.,[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],.]],[.,.]]=>68
[[.,[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],.]],[.,.]]=>66
[[.,[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],.]],[.,.]]=>74
[[.,[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],.]],[.,.]]=>72
[[.,[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],.]],[.,.]]=>68
[[.,[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],.]],[.,.]]=>70
[[.,[[[[[.,[.,.]],[.,.]],[.,.]],[.,.]],.]],[.,.]]=>68
[[[.,[.,.]],[[.,[[.,[[.,[.,.]],.]],.]],.]],[.,.]]=>66
[[[.,[.,.]],[[.,[[[.,[.,.]],[.,.]],.]],.]],[.,.]]=>64
[[[.,[.,.]],[[[.,[.,.]],[[.,[.,.]],.]],.]],[.,.]]=>60
[[[.,[.,.]],[[[.,[[.,[.,.]],.]],[.,.]],.]],[.,.]]=>62
[[[.,[.,.]],[[[[.,[.,.]],[.,.]],[.,.]],.]],[.,.]]=>60
[[[.,[[.,[.,.]],.]],[[.,[[.,[.,.]],.]],.]],[.,.]]=>60
[[[.,[[.,[.,.]],.]],[[[.,[.,.]],[.,.]],.]],[.,.]]=>58
[[[[.,[.,.]],[.,.]],[[.,[[.,[.,.]],.]],.]],[.,.]]=>58
[[[[.,[.,.]],[.,.]],[[[.,[.,.]],[.,.]],.]],[.,.]]=>56
[[[.,[[.,[[.,[.,.]],.]],.]],[[.,[.,.]],.]],[.,.]]=>62
[[[.,[[[.,[.,.]],[.,.]],.]],[[.,[.,.]],.]],[.,.]]=>60
[[[[.,[.,.]],[[.,[.,.]],.]],[[.,[.,.]],.]],[.,.]]=>56
[[[[.,[[.,[.,.]],.]],[.,.]],[[.,[.,.]],.]],[.,.]]=>58
[[[[[.,[.,.]],[.,.]],[.,.]],[[.,[.,.]],.]],[.,.]]=>56
[[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],[.,.]],[.,.]]=>72
[[[.,[[.,[[[.,[.,.]],[.,.]],.]],.]],[.,.]],[.,.]]=>70
[[[.,[[[.,[.,.]],[[.,[.,.]],.]],.]],[.,.]],[.,.]]=>66
[[[.,[[[.,[[.,[.,.]],.]],[.,.]],.]],[.,.]],[.,.]]=>68
[[[.,[[[[.,[.,.]],[.,.]],[.,.]],.]],[.,.]],[.,.]]=>66
[[[[.,[.,.]],[[.,[[.,[.,.]],.]],.]],[.,.]],[.,.]]=>62
[[[[.,[.,.]],[[[.,[.,.]],[.,.]],.]],[.,.]],[.,.]]=>60
[[[[.,[[.,[.,.]],.]],[[.,[.,.]],.]],[.,.]],[.,.]]=>60
[[[[[.,[.,.]],[.,.]],[[.,[.,.]],.]],[.,.]],[.,.]]=>58
[[[[.,[[.,[[.,[.,.]],.]],.]],[.,.]],[.,.]],[.,.]]=>66
[[[[.,[[[.,[.,.]],[.,.]],.]],[.,.]],[.,.]],[.,.]]=>64
[[[[[.,[.,.]],[[.,[.,.]],.]],[.,.]],[.,.]],[.,.]]=>60
[[[[[.,[[.,[.,.]],.]],[.,.]],[.,.]],[.,.]],[.,.]]=>62
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 external path length of a binary tree.
This is the sum of the lengths of all paths from the root to an external node, see Section 2.3.4.5 of [1].
This is also called the Sackin balance index of a rooted binary tree, see [2].
This is the sum of the lengths of all paths from the root to an external node, see Section 2.3.4.5 of [1].
This is also called the Sackin balance index of a rooted binary tree, see [2].
References
[1] Knuth, D. E. The art of computer programming. Vol. 1 MathSciNet:3077152
[2] Fischer, M. Extremal values of the Sackin balance index for rooted binary trees arXiv:1801.10418
[2] Fischer, M. Extremal values of the Sackin balance index for rooted binary trees arXiv:1801.10418
Code
def statistic(T): return path_length_aux(T, 0) + 2*T.node_number() 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 16:02 by Martin Rubey
Updated
Mar 28, 2019 at 11:15 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!