Identifier
- St000411: Binary trees ⟶ ℤ
Values
=>
Cc0010;cc-rep
[.,[.,.]]=>2
[[.,.],.]=>2
[.,[.,[.,.]]]=>6
[.,[[.,.],.]]=>6
[[.,.],[.,.]]=>3
[[.,[.,.]],.]=>6
[[[.,.],.],.]=>6
[.,[.,[.,[.,.]]]]=>24
[.,[.,[[.,.],.]]]=>24
[.,[[.,.],[.,.]]]=>12
[.,[[.,[.,.]],.]]=>24
[.,[[[.,.],.],.]]=>24
[[.,.],[.,[.,.]]]=>8
[[.,.],[[.,.],.]]=>8
[[.,[.,.]],[.,.]]=>8
[[[.,.],.],[.,.]]=>8
[[.,[.,[.,.]]],.]=>24
[[.,[[.,.],.]],.]=>24
[[[.,.],[.,.]],.]=>12
[[[.,[.,.]],.],.]=>24
[[[[.,.],.],.],.]=>24
[.,[.,[.,[.,[.,.]]]]]=>120
[.,[.,[.,[[.,.],.]]]]=>120
[.,[.,[[.,.],[.,.]]]]=>60
[.,[.,[[.,[.,.]],.]]]=>120
[.,[.,[[[.,.],.],.]]]=>120
[.,[[.,.],[.,[.,.]]]]=>40
[.,[[.,.],[[.,.],.]]]=>40
[.,[[.,[.,.]],[.,.]]]=>40
[.,[[[.,.],.],[.,.]]]=>40
[.,[[.,[.,[.,.]]],.]]=>120
[.,[[.,[[.,.],.]],.]]=>120
[.,[[[.,.],[.,.]],.]]=>60
[.,[[[.,[.,.]],.],.]]=>120
[.,[[[[.,.],.],.],.]]=>120
[[.,.],[.,[.,[.,.]]]]=>30
[[.,.],[.,[[.,.],.]]]=>30
[[.,.],[[.,.],[.,.]]]=>15
[[.,.],[[.,[.,.]],.]]=>30
[[.,.],[[[.,.],.],.]]=>30
[[.,[.,.]],[.,[.,.]]]=>20
[[.,[.,.]],[[.,.],.]]=>20
[[[.,.],.],[.,[.,.]]]=>20
[[[.,.],.],[[.,.],.]]=>20
[[.,[.,[.,.]]],[.,.]]=>30
[[.,[[.,.],.]],[.,.]]=>30
[[[.,.],[.,.]],[.,.]]=>15
[[[.,[.,.]],.],[.,.]]=>30
[[[[.,.],.],.],[.,.]]=>30
[[.,[.,[.,[.,.]]]],.]=>120
[[.,[.,[[.,.],.]]],.]=>120
[[.,[[.,.],[.,.]]],.]=>60
[[.,[[.,[.,.]],.]],.]=>120
[[.,[[[.,.],.],.]],.]=>120
[[[.,.],[.,[.,.]]],.]=>40
[[[.,.],[[.,.],.]],.]=>40
[[[.,[.,.]],[.,.]],.]=>40
[[[[.,.],.],[.,.]],.]=>40
[[[.,[.,[.,.]]],.],.]=>120
[[[.,[[.,.],.]],.],.]=>120
[[[[.,.],[.,.]],.],.]=>60
[[[[.,[.,.]],.],.],.]=>120
[[[[[.,.],.],.],.],.]=>120
[.,[.,[.,[.,[.,[.,.]]]]]]=>720
[.,[.,[.,[.,[[.,.],.]]]]]=>720
[.,[.,[.,[[.,.],[.,.]]]]]=>360
[.,[.,[.,[[.,[.,.]],.]]]]=>720
[.,[.,[.,[[[.,.],.],.]]]]=>720
[.,[.,[[.,.],[.,[.,.]]]]]=>240
[.,[.,[[.,.],[[.,.],.]]]]=>240
[.,[.,[[.,[.,.]],[.,.]]]]=>240
[.,[.,[[[.,.],.],[.,.]]]]=>240
[.,[.,[[.,[.,[.,.]]],.]]]=>720
[.,[.,[[.,[[.,.],.]],.]]]=>720
[.,[.,[[[.,.],[.,.]],.]]]=>360
[.,[.,[[[.,[.,.]],.],.]]]=>720
[.,[.,[[[[.,.],.],.],.]]]=>720
[.,[[.,.],[.,[.,[.,.]]]]]=>180
[.,[[.,.],[.,[[.,.],.]]]]=>180
[.,[[.,.],[[.,.],[.,.]]]]=>90
[.,[[.,.],[[.,[.,.]],.]]]=>180
[.,[[.,.],[[[.,.],.],.]]]=>180
[.,[[.,[.,.]],[.,[.,.]]]]=>120
[.,[[.,[.,.]],[[.,.],.]]]=>120
[.,[[[.,.],.],[.,[.,.]]]]=>120
[.,[[[.,.],.],[[.,.],.]]]=>120
[.,[[.,[.,[.,.]]],[.,.]]]=>180
[.,[[.,[[.,.],.]],[.,.]]]=>180
[.,[[[.,.],[.,.]],[.,.]]]=>90
[.,[[[.,[.,.]],.],[.,.]]]=>180
[.,[[[[.,.],.],.],[.,.]]]=>180
[.,[[.,[.,[.,[.,.]]]],.]]=>720
[.,[[.,[.,[[.,.],.]]],.]]=>720
[.,[[.,[[.,.],[.,.]]],.]]=>360
[.,[[.,[[.,[.,.]],.]],.]]=>720
[.,[[.,[[[.,.],.],.]],.]]=>720
[.,[[[.,.],[.,[.,.]]],.]]=>240
[.,[[[.,.],[[.,.],.]],.]]=>240
[.,[[[.,[.,.]],[.,.]],.]]=>240
[.,[[[[.,.],.],[.,.]],.]]=>240
[.,[[[.,[.,[.,.]]],.],.]]=>720
[.,[[[.,[[.,.],.]],.],.]]=>720
[.,[[[[.,.],[.,.]],.],.]]=>360
[.,[[[[.,[.,.]],.],.],.]]=>720
[.,[[[[[.,.],.],.],.],.]]=>720
[[.,.],[.,[.,[.,[.,.]]]]]=>144
[[.,.],[.,[.,[[.,.],.]]]]=>144
[[.,.],[.,[[.,.],[.,.]]]]=>72
[[.,.],[.,[[.,[.,.]],.]]]=>144
[[.,.],[.,[[[.,.],.],.]]]=>144
[[.,.],[[.,.],[.,[.,.]]]]=>48
[[.,.],[[.,.],[[.,.],.]]]=>48
[[.,.],[[.,[.,.]],[.,.]]]=>48
[[.,.],[[[.,.],.],[.,.]]]=>48
[[.,.],[[.,[.,[.,.]]],.]]=>144
[[.,.],[[.,[[.,.],.]],.]]=>144
[[.,.],[[[.,.],[.,.]],.]]=>72
[[.,.],[[[.,[.,.]],.],.]]=>144
[[.,.],[[[[.,.],.],.],.]]=>144
[[.,[.,.]],[.,[.,[.,.]]]]=>72
[[.,[.,.]],[.,[[.,.],.]]]=>72
[[.,[.,.]],[[.,.],[.,.]]]=>36
[[.,[.,.]],[[.,[.,.]],.]]=>72
[[.,[.,.]],[[[.,.],.],.]]=>72
[[[.,.],.],[.,[.,[.,.]]]]=>72
[[[.,.],.],[.,[[.,.],.]]]=>72
[[[.,.],.],[[.,.],[.,.]]]=>36
[[[.,.],.],[[.,[.,.]],.]]=>72
[[[.,.],.],[[[.,.],.],.]]=>72
[[.,[.,[.,.]]],[.,[.,.]]]=>72
[[.,[.,[.,.]]],[[.,.],.]]=>72
[[.,[[.,.],.]],[.,[.,.]]]=>72
[[.,[[.,.],.]],[[.,.],.]]=>72
[[[.,.],[.,.]],[.,[.,.]]]=>36
[[[.,.],[.,.]],[[.,.],.]]=>36
[[[.,[.,.]],.],[.,[.,.]]]=>72
[[[.,[.,.]],.],[[.,.],.]]=>72
[[[[.,.],.],.],[.,[.,.]]]=>72
[[[[.,.],.],.],[[.,.],.]]=>72
[[.,[.,[.,[.,.]]]],[.,.]]=>144
[[.,[.,[[.,.],.]]],[.,.]]=>144
[[.,[[.,.],[.,.]]],[.,.]]=>72
[[.,[[.,[.,.]],.]],[.,.]]=>144
[[.,[[[.,.],.],.]],[.,.]]=>144
[[[.,.],[.,[.,.]]],[.,.]]=>48
[[[.,.],[[.,.],.]],[.,.]]=>48
[[[.,[.,.]],[.,.]],[.,.]]=>48
[[[[.,.],.],[.,.]],[.,.]]=>48
[[[.,[.,[.,.]]],.],[.,.]]=>144
[[[.,[[.,.],.]],.],[.,.]]=>144
[[[[.,.],[.,.]],.],[.,.]]=>72
[[[[.,[.,.]],.],.],[.,.]]=>144
[[[[[.,.],.],.],.],[.,.]]=>144
[[.,[.,[.,[.,[.,.]]]]],.]=>720
[[.,[.,[.,[[.,.],.]]]],.]=>720
[[.,[.,[[.,.],[.,.]]]],.]=>360
[[.,[.,[[.,[.,.]],.]]],.]=>720
[[.,[.,[[[.,.],.],.]]],.]=>720
[[.,[[.,.],[.,[.,.]]]],.]=>240
[[.,[[.,.],[[.,.],.]]],.]=>240
[[.,[[.,[.,.]],[.,.]]],.]=>240
[[.,[[[.,.],.],[.,.]]],.]=>240
[[.,[[.,[.,[.,.]]],.]],.]=>720
[[.,[[.,[[.,.],.]],.]],.]=>720
[[.,[[[.,.],[.,.]],.]],.]=>360
[[.,[[[.,[.,.]],.],.]],.]=>720
[[.,[[[[.,.],.],.],.]],.]=>720
[[[.,.],[.,[.,[.,.]]]],.]=>180
[[[.,.],[.,[[.,.],.]]],.]=>180
[[[.,.],[[.,.],[.,.]]],.]=>90
[[[.,.],[[.,[.,.]],.]],.]=>180
[[[.,.],[[[.,.],.],.]],.]=>180
[[[.,[.,.]],[.,[.,.]]],.]=>120
[[[.,[.,.]],[[.,.],.]],.]=>120
[[[[.,.],.],[.,[.,.]]],.]=>120
[[[[.,.],.],[[.,.],.]],.]=>120
[[[.,[.,[.,.]]],[.,.]],.]=>180
[[[.,[[.,.],.]],[.,.]],.]=>180
[[[[.,.],[.,.]],[.,.]],.]=>90
[[[[.,[.,.]],.],[.,.]],.]=>180
[[[[[.,.],.],.],[.,.]],.]=>180
[[[.,[.,[.,[.,.]]]],.],.]=>720
[[[.,[.,[[.,.],.]]],.],.]=>720
[[[.,[[.,.],[.,.]]],.],.]=>360
[[[.,[[.,[.,.]],.]],.],.]=>720
[[[.,[[[.,.],.],.]],.],.]=>720
[[[[.,.],[.,[.,.]]],.],.]=>240
[[[[.,.],[[.,.],.]],.],.]=>240
[[[[.,[.,.]],[.,.]],.],.]=>240
[[[[[.,.],.],[.,.]],.],.]=>240
[[[[.,[.,[.,.]]],.],.],.]=>720
[[[[.,[[.,.],.]],.],.],.]=>720
[[[[[.,.],[.,.]],.],.],.]=>360
[[[[[.,[.,.]],.],.],.],.]=>720
[[[[[[.,.],.],.],.],.],.]=>720
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]=>5040
[.,[.,[.,[.,[.,[[.,.],.]]]]]]=>5040
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>2520
[.,[.,[.,[.,[[.,[.,.]],.]]]]]=>5040
[.,[.,[.,[.,[[[.,.],.],.]]]]]=>5040
[.,[.,[.,[[.,.],[.,[.,.]]]]]]=>1680
[.,[.,[.,[[.,.],[[.,.],.]]]]]=>1680
[.,[.,[.,[[.,[.,.]],[.,.]]]]]=>1680
[.,[.,[.,[[[.,.],.],[.,.]]]]]=>1680
[.,[.,[.,[[.,[.,[.,.]]],.]]]]=>5040
[.,[.,[.,[[.,[[.,.],.]],.]]]]=>5040
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>2520
[.,[.,[.,[[[.,[.,.]],.],.]]]]=>5040
[.,[.,[.,[[[[.,.],.],.],.]]]]=>5040
[.,[.,[[.,.],[.,[.,[.,.]]]]]]=>1260
[.,[.,[[.,.],[.,[[.,.],.]]]]]=>1260
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>630
[.,[.,[[.,.],[[.,[.,.]],.]]]]=>1260
[.,[.,[[.,.],[[[.,.],.],.]]]]=>1260
[.,[.,[[.,[.,.]],[.,[.,.]]]]]=>840
[.,[.,[[.,[.,.]],[[.,.],.]]]]=>840
[.,[.,[[[.,.],.],[.,[.,.]]]]]=>840
[.,[.,[[[.,.],.],[[.,.],.]]]]=>840
[.,[.,[[.,[.,[.,.]]],[.,.]]]]=>1260
[.,[.,[[.,[[.,.],.]],[.,.]]]]=>1260
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>630
[.,[.,[[[.,[.,.]],.],[.,.]]]]=>1260
[.,[.,[[[[.,.],.],.],[.,.]]]]=>1260
[.,[.,[[.,[.,[.,[.,.]]]],.]]]=>5040
[.,[.,[[.,[.,[[.,.],.]]],.]]]=>5040
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>2520
[.,[.,[[.,[[.,[.,.]],.]],.]]]=>5040
[.,[.,[[.,[[[.,.],.],.]],.]]]=>5040
[.,[.,[[[.,.],[.,[.,.]]],.]]]=>1680
[.,[.,[[[.,.],[[.,.],.]],.]]]=>1680
[.,[.,[[[.,[.,.]],[.,.]],.]]]=>1680
[.,[.,[[[[.,.],.],[.,.]],.]]]=>1680
[.,[.,[[[.,[.,[.,.]]],.],.]]]=>5040
[.,[.,[[[.,[[.,.],.]],.],.]]]=>5040
[.,[.,[[[[.,.],[.,.]],.],.]]]=>2520
[.,[.,[[[[.,[.,.]],.],.],.]]]=>5040
[.,[.,[[[[[.,.],.],.],.],.]]]=>5040
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>1008
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>1008
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>504
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>1008
[.,[[.,.],[.,[[[.,.],.],.]]]]=>1008
[.,[[.,.],[[.,.],[.,[.,.]]]]]=>336
[.,[[.,.],[[.,.],[[.,.],.]]]]=>336
[.,[[.,.],[[.,[.,.]],[.,.]]]]=>336
[.,[[.,.],[[[.,.],.],[.,.]]]]=>336
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>1008
[.,[[.,.],[[.,[[.,.],.]],.]]]=>1008
[.,[[.,.],[[[.,.],[.,.]],.]]]=>504
[.,[[.,.],[[[.,[.,.]],.],.]]]=>1008
[.,[[.,.],[[[[.,.],.],.],.]]]=>1008
[.,[[.,[.,.]],[.,[.,[.,.]]]]]=>504
[.,[[.,[.,.]],[.,[[.,.],.]]]]=>504
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>252
[.,[[.,[.,.]],[[.,[.,.]],.]]]=>504
[.,[[.,[.,.]],[[[.,.],.],.]]]=>504
[.,[[[.,.],.],[.,[.,[.,.]]]]]=>504
[.,[[[.,.],.],[.,[[.,.],.]]]]=>504
[.,[[[.,.],.],[[.,.],[.,.]]]]=>252
[.,[[[.,.],.],[[.,[.,.]],.]]]=>504
[.,[[[.,.],.],[[[.,.],.],.]]]=>504
[.,[[.,[.,[.,.]]],[.,[.,.]]]]=>504
[.,[[.,[.,[.,.]]],[[.,.],.]]]=>504
[.,[[.,[[.,.],.]],[.,[.,.]]]]=>504
[.,[[.,[[.,.],.]],[[.,.],.]]]=>504
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>252
[.,[[[.,.],[.,.]],[[.,.],.]]]=>252
[.,[[[.,[.,.]],.],[.,[.,.]]]]=>504
[.,[[[.,[.,.]],.],[[.,.],.]]]=>504
[.,[[[[.,.],.],.],[.,[.,.]]]]=>504
[.,[[[[.,.],.],.],[[.,.],.]]]=>504
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>1008
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>1008
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>504
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>1008
[.,[[.,[[[.,.],.],.]],[.,.]]]=>1008
[.,[[[.,.],[.,[.,.]]],[.,.]]]=>336
[.,[[[.,.],[[.,.],.]],[.,.]]]=>336
[.,[[[.,[.,.]],[.,.]],[.,.]]]=>336
[.,[[[[.,.],.],[.,.]],[.,.]]]=>336
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>1008
[.,[[[.,[[.,.],.]],.],[.,.]]]=>1008
[.,[[[[.,.],[.,.]],.],[.,.]]]=>504
[.,[[[[.,[.,.]],.],.],[.,.]]]=>1008
[.,[[[[[.,.],.],.],.],[.,.]]]=>1008
[.,[[.,[.,[.,[.,[.,.]]]]],.]]=>5040
[.,[[.,[.,[.,[[.,.],.]]]],.]]=>5040
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>2520
[.,[[.,[.,[[.,[.,.]],.]]],.]]=>5040
[.,[[.,[.,[[[.,.],.],.]]],.]]=>5040
[.,[[.,[[.,.],[.,[.,.]]]],.]]=>1680
[.,[[.,[[.,.],[[.,.],.]]],.]]=>1680
[.,[[.,[[.,[.,.]],[.,.]]],.]]=>1680
[.,[[.,[[[.,.],.],[.,.]]],.]]=>1680
[.,[[.,[[.,[.,[.,.]]],.]],.]]=>5040
[.,[[.,[[.,[[.,.],.]],.]],.]]=>5040
[.,[[.,[[[.,.],[.,.]],.]],.]]=>2520
[.,[[.,[[[.,[.,.]],.],.]],.]]=>5040
[.,[[.,[[[[.,.],.],.],.]],.]]=>5040
[.,[[[.,.],[.,[.,[.,.]]]],.]]=>1260
[.,[[[.,.],[.,[[.,.],.]]],.]]=>1260
[.,[[[.,.],[[.,.],[.,.]]],.]]=>630
[.,[[[.,.],[[.,[.,.]],.]],.]]=>1260
[.,[[[.,.],[[[.,.],.],.]],.]]=>1260
[.,[[[.,[.,.]],[.,[.,.]]],.]]=>840
[.,[[[.,[.,.]],[[.,.],.]],.]]=>840
[.,[[[[.,.],.],[.,[.,.]]],.]]=>840
[.,[[[[.,.],.],[[.,.],.]],.]]=>840
[.,[[[.,[.,[.,.]]],[.,.]],.]]=>1260
[.,[[[.,[[.,.],.]],[.,.]],.]]=>1260
[.,[[[[.,.],[.,.]],[.,.]],.]]=>630
[.,[[[[.,[.,.]],.],[.,.]],.]]=>1260
[.,[[[[[.,.],.],.],[.,.]],.]]=>1260
[.,[[[.,[.,[.,[.,.]]]],.],.]]=>5040
[.,[[[.,[.,[[.,.],.]]],.],.]]=>5040
[.,[[[.,[[.,.],[.,.]]],.],.]]=>2520
[.,[[[.,[[.,[.,.]],.]],.],.]]=>5040
[.,[[[.,[[[.,.],.],.]],.],.]]=>5040
[.,[[[[.,.],[.,[.,.]]],.],.]]=>1680
[.,[[[[.,.],[[.,.],.]],.],.]]=>1680
[.,[[[[.,[.,.]],[.,.]],.],.]]=>1680
[.,[[[[[.,.],.],[.,.]],.],.]]=>1680
[.,[[[[.,[.,[.,.]]],.],.],.]]=>5040
[.,[[[[.,[[.,.],.]],.],.],.]]=>5040
[.,[[[[[.,.],[.,.]],.],.],.]]=>2520
[.,[[[[[.,[.,.]],.],.],.],.]]=>5040
[.,[[[[[[.,.],.],.],.],.],.]]=>5040
[[.,.],[.,[.,[.,[.,[.,.]]]]]]=>840
[[.,.],[.,[.,[.,[[.,.],.]]]]]=>840
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>420
[[.,.],[.,[.,[[.,[.,.]],.]]]]=>840
[[.,.],[.,[.,[[[.,.],.],.]]]]=>840
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>280
[[.,.],[.,[[.,.],[[.,.],.]]]]=>280
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>280
[[.,.],[.,[[[.,.],.],[.,.]]]]=>280
[[.,.],[.,[[.,[.,[.,.]]],.]]]=>840
[[.,.],[.,[[.,[[.,.],.]],.]]]=>840
[[.,.],[.,[[[.,.],[.,.]],.]]]=>420
[[.,.],[.,[[[.,[.,.]],.],.]]]=>840
[[.,.],[.,[[[[.,.],.],.],.]]]=>840
[[.,.],[[.,.],[.,[.,[.,.]]]]]=>210
[[.,.],[[.,.],[.,[[.,.],.]]]]=>210
[[.,.],[[.,.],[[.,.],[.,.]]]]=>105
[[.,.],[[.,.],[[.,[.,.]],.]]]=>210
[[.,.],[[.,.],[[[.,.],.],.]]]=>210
[[.,.],[[.,[.,.]],[.,[.,.]]]]=>140
[[.,.],[[.,[.,.]],[[.,.],.]]]=>140
[[.,.],[[[.,.],.],[.,[.,.]]]]=>140
[[.,.],[[[.,.],.],[[.,.],.]]]=>140
[[.,.],[[.,[.,[.,.]]],[.,.]]]=>210
[[.,.],[[.,[[.,.],.]],[.,.]]]=>210
[[.,.],[[[.,.],[.,.]],[.,.]]]=>105
[[.,.],[[[.,[.,.]],.],[.,.]]]=>210
[[.,.],[[[[.,.],.],.],[.,.]]]=>210
[[.,.],[[.,[.,[.,[.,.]]]],.]]=>840
[[.,.],[[.,[.,[[.,.],.]]],.]]=>840
[[.,.],[[.,[[.,.],[.,.]]],.]]=>420
[[.,.],[[.,[[.,[.,.]],.]],.]]=>840
[[.,.],[[.,[[[.,.],.],.]],.]]=>840
[[.,.],[[[.,.],[.,[.,.]]],.]]=>280
[[.,.],[[[.,.],[[.,.],.]],.]]=>280
[[.,.],[[[.,[.,.]],[.,.]],.]]=>280
[[.,.],[[[[.,.],.],[.,.]],.]]=>280
[[.,.],[[[.,[.,[.,.]]],.],.]]=>840
[[.,.],[[[.,[[.,.],.]],.],.]]=>840
[[.,.],[[[[.,.],[.,.]],.],.]]=>420
[[.,.],[[[[.,[.,.]],.],.],.]]=>840
[[.,.],[[[[[.,.],.],.],.],.]]=>840
[[.,[.,.]],[.,[.,[.,[.,.]]]]]=>336
[[.,[.,.]],[.,[.,[[.,.],.]]]]=>336
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>168
[[.,[.,.]],[.,[[.,[.,.]],.]]]=>336
[[.,[.,.]],[.,[[[.,.],.],.]]]=>336
[[.,[.,.]],[[.,.],[.,[.,.]]]]=>112
[[.,[.,.]],[[.,.],[[.,.],.]]]=>112
[[.,[.,.]],[[.,[.,.]],[.,.]]]=>112
[[.,[.,.]],[[[.,.],.],[.,.]]]=>112
[[.,[.,.]],[[.,[.,[.,.]]],.]]=>336
[[.,[.,.]],[[.,[[.,.],.]],.]]=>336
[[.,[.,.]],[[[.,.],[.,.]],.]]=>168
[[.,[.,.]],[[[.,[.,.]],.],.]]=>336
[[.,[.,.]],[[[[.,.],.],.],.]]=>336
[[[.,.],.],[.,[.,[.,[.,.]]]]]=>336
[[[.,.],.],[.,[.,[[.,.],.]]]]=>336
[[[.,.],.],[.,[[.,.],[.,.]]]]=>168
[[[.,.],.],[.,[[.,[.,.]],.]]]=>336
[[[.,.],.],[.,[[[.,.],.],.]]]=>336
[[[.,.],.],[[.,.],[.,[.,.]]]]=>112
[[[.,.],.],[[.,.],[[.,.],.]]]=>112
[[[.,.],.],[[.,[.,.]],[.,.]]]=>112
[[[.,.],.],[[[.,.],.],[.,.]]]=>112
[[[.,.],.],[[.,[.,[.,.]]],.]]=>336
[[[.,.],.],[[.,[[.,.],.]],.]]=>336
[[[.,.],.],[[[.,.],[.,.]],.]]=>168
[[[.,.],.],[[[.,[.,.]],.],.]]=>336
[[[.,.],.],[[[[.,.],.],.],.]]=>336
[[.,[.,[.,.]]],[.,[.,[.,.]]]]=>252
[[.,[.,[.,.]]],[.,[[.,.],.]]]=>252
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>126
[[.,[.,[.,.]]],[[.,[.,.]],.]]=>252
[[.,[.,[.,.]]],[[[.,.],.],.]]=>252
[[.,[[.,.],.]],[.,[.,[.,.]]]]=>252
[[.,[[.,.],.]],[.,[[.,.],.]]]=>252
[[.,[[.,.],.]],[[.,.],[.,.]]]=>126
[[.,[[.,.],.]],[[.,[.,.]],.]]=>252
[[.,[[.,.],.]],[[[.,.],.],.]]=>252
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>126
[[[.,.],[.,.]],[.,[[.,.],.]]]=>126
[[[.,.],[.,.]],[[.,.],[.,.]]]=>63
[[[.,.],[.,.]],[[.,[.,.]],.]]=>126
[[[.,.],[.,.]],[[[.,.],.],.]]=>126
[[[.,[.,.]],.],[.,[.,[.,.]]]]=>252
[[[.,[.,.]],.],[.,[[.,.],.]]]=>252
[[[.,[.,.]],.],[[.,.],[.,.]]]=>126
[[[.,[.,.]],.],[[.,[.,.]],.]]=>252
[[[.,[.,.]],.],[[[.,.],.],.]]=>252
[[[[.,.],.],.],[.,[.,[.,.]]]]=>252
[[[[.,.],.],.],[.,[[.,.],.]]]=>252
[[[[.,.],.],.],[[.,.],[.,.]]]=>126
[[[[.,.],.],.],[[.,[.,.]],.]]=>252
[[[[.,.],.],.],[[[.,.],.],.]]=>252
[[.,[.,[.,[.,.]]]],[.,[.,.]]]=>336
[[.,[.,[.,[.,.]]]],[[.,.],.]]=>336
[[.,[.,[[.,.],.]]],[.,[.,.]]]=>336
[[.,[.,[[.,.],.]]],[[.,.],.]]=>336
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>168
[[.,[[.,.],[.,.]]],[[.,.],.]]=>168
[[.,[[.,[.,.]],.]],[.,[.,.]]]=>336
[[.,[[.,[.,.]],.]],[[.,.],.]]=>336
[[.,[[[.,.],.],.]],[.,[.,.]]]=>336
[[.,[[[.,.],.],.]],[[.,.],.]]=>336
[[[.,.],[.,[.,.]]],[.,[.,.]]]=>112
[[[.,.],[.,[.,.]]],[[.,.],.]]=>112
[[[.,.],[[.,.],.]],[.,[.,.]]]=>112
[[[.,.],[[.,.],.]],[[.,.],.]]=>112
[[[.,[.,.]],[.,.]],[.,[.,.]]]=>112
[[[.,[.,.]],[.,.]],[[.,.],.]]=>112
[[[[.,.],.],[.,.]],[.,[.,.]]]=>112
[[[[.,.],.],[.,.]],[[.,.],.]]=>112
[[[.,[.,[.,.]]],.],[.,[.,.]]]=>336
[[[.,[.,[.,.]]],.],[[.,.],.]]=>336
[[[.,[[.,.],.]],.],[.,[.,.]]]=>336
[[[.,[[.,.],.]],.],[[.,.],.]]=>336
[[[[.,.],[.,.]],.],[.,[.,.]]]=>168
[[[[.,.],[.,.]],.],[[.,.],.]]=>168
[[[[.,[.,.]],.],.],[.,[.,.]]]=>336
[[[[.,[.,.]],.],.],[[.,.],.]]=>336
[[[[[.,.],.],.],.],[.,[.,.]]]=>336
[[[[[.,.],.],.],.],[[.,.],.]]=>336
[[.,[.,[.,[.,[.,.]]]]],[.,.]]=>840
[[.,[.,[.,[[.,.],.]]]],[.,.]]=>840
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>420
[[.,[.,[[.,[.,.]],.]]],[.,.]]=>840
[[.,[.,[[[.,.],.],.]]],[.,.]]=>840
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>280
[[.,[[.,.],[[.,.],.]]],[.,.]]=>280
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>280
[[.,[[[.,.],.],[.,.]]],[.,.]]=>280
[[.,[[.,[.,[.,.]]],.]],[.,.]]=>840
[[.,[[.,[[.,.],.]],.]],[.,.]]=>840
[[.,[[[.,.],[.,.]],.]],[.,.]]=>420
[[.,[[[.,[.,.]],.],.]],[.,.]]=>840
[[.,[[[[.,.],.],.],.]],[.,.]]=>840
[[[.,.],[.,[.,[.,.]]]],[.,.]]=>210
[[[.,.],[.,[[.,.],.]]],[.,.]]=>210
[[[.,.],[[.,.],[.,.]]],[.,.]]=>105
[[[.,.],[[.,[.,.]],.]],[.,.]]=>210
[[[.,.],[[[.,.],.],.]],[.,.]]=>210
[[[.,[.,.]],[.,[.,.]]],[.,.]]=>140
[[[.,[.,.]],[[.,.],.]],[.,.]]=>140
[[[[.,.],.],[.,[.,.]]],[.,.]]=>140
[[[[.,.],.],[[.,.],.]],[.,.]]=>140
[[[.,[.,[.,.]]],[.,.]],[.,.]]=>210
[[[.,[[.,.],.]],[.,.]],[.,.]]=>210
[[[[.,.],[.,.]],[.,.]],[.,.]]=>105
[[[[.,[.,.]],.],[.,.]],[.,.]]=>210
[[[[[.,.],.],.],[.,.]],[.,.]]=>210
[[[.,[.,[.,[.,.]]]],.],[.,.]]=>840
[[[.,[.,[[.,.],.]]],.],[.,.]]=>840
[[[.,[[.,.],[.,.]]],.],[.,.]]=>420
[[[.,[[.,[.,.]],.]],.],[.,.]]=>840
[[[.,[[[.,.],.],.]],.],[.,.]]=>840
[[[[.,.],[.,[.,.]]],.],[.,.]]=>280
[[[[.,.],[[.,.],.]],.],[.,.]]=>280
[[[[.,[.,.]],[.,.]],.],[.,.]]=>280
[[[[[.,.],.],[.,.]],.],[.,.]]=>280
[[[[.,[.,[.,.]]],.],.],[.,.]]=>840
[[[[.,[[.,.],.]],.],.],[.,.]]=>840
[[[[[.,.],[.,.]],.],.],[.,.]]=>420
[[[[[.,[.,.]],.],.],.],[.,.]]=>840
[[[[[[.,.],.],.],.],.],[.,.]]=>840
[[.,[.,[.,[.,[.,[.,.]]]]]],.]=>5040
[[.,[.,[.,[.,[[.,.],.]]]]],.]=>5040
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>2520
[[.,[.,[.,[[.,[.,.]],.]]]],.]=>5040
[[.,[.,[.,[[[.,.],.],.]]]],.]=>5040
[[.,[.,[[.,.],[.,[.,.]]]]],.]=>1680
[[.,[.,[[.,.],[[.,.],.]]]],.]=>1680
[[.,[.,[[.,[.,.]],[.,.]]]],.]=>1680
[[.,[.,[[[.,.],.],[.,.]]]],.]=>1680
[[.,[.,[[.,[.,[.,.]]],.]]],.]=>5040
[[.,[.,[[.,[[.,.],.]],.]]],.]=>5040
[[.,[.,[[[.,.],[.,.]],.]]],.]=>2520
[[.,[.,[[[.,[.,.]],.],.]]],.]=>5040
[[.,[.,[[[[.,.],.],.],.]]],.]=>5040
[[.,[[.,.],[.,[.,[.,.]]]]],.]=>1260
[[.,[[.,.],[.,[[.,.],.]]]],.]=>1260
[[.,[[.,.],[[.,.],[.,.]]]],.]=>630
[[.,[[.,.],[[.,[.,.]],.]]],.]=>1260
[[.,[[.,.],[[[.,.],.],.]]],.]=>1260
[[.,[[.,[.,.]],[.,[.,.]]]],.]=>840
[[.,[[.,[.,.]],[[.,.],.]]],.]=>840
[[.,[[[.,.],.],[.,[.,.]]]],.]=>840
[[.,[[[.,.],.],[[.,.],.]]],.]=>840
[[.,[[.,[.,[.,.]]],[.,.]]],.]=>1260
[[.,[[.,[[.,.],.]],[.,.]]],.]=>1260
[[.,[[[.,.],[.,.]],[.,.]]],.]=>630
[[.,[[[.,[.,.]],.],[.,.]]],.]=>1260
[[.,[[[[.,.],.],.],[.,.]]],.]=>1260
[[.,[[.,[.,[.,[.,.]]]],.]],.]=>5040
[[.,[[.,[.,[[.,.],.]]],.]],.]=>5040
[[.,[[.,[[.,.],[.,.]]],.]],.]=>2520
[[.,[[.,[[.,[.,.]],.]],.]],.]=>5040
[[.,[[.,[[[.,.],.],.]],.]],.]=>5040
[[.,[[[.,.],[.,[.,.]]],.]],.]=>1680
[[.,[[[.,.],[[.,.],.]],.]],.]=>1680
[[.,[[[.,[.,.]],[.,.]],.]],.]=>1680
[[.,[[[[.,.],.],[.,.]],.]],.]=>1680
[[.,[[[.,[.,[.,.]]],.],.]],.]=>5040
[[.,[[[.,[[.,.],.]],.],.]],.]=>5040
[[.,[[[[.,.],[.,.]],.],.]],.]=>2520
[[.,[[[[.,[.,.]],.],.],.]],.]=>5040
[[.,[[[[[.,.],.],.],.],.]],.]=>5040
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>1008
[[[.,.],[.,[.,[[.,.],.]]]],.]=>1008
[[[.,.],[.,[[.,.],[.,.]]]],.]=>504
[[[.,.],[.,[[.,[.,.]],.]]],.]=>1008
[[[.,.],[.,[[[.,.],.],.]]],.]=>1008
[[[.,.],[[.,.],[.,[.,.]]]],.]=>336
[[[.,.],[[.,.],[[.,.],.]]],.]=>336
[[[.,.],[[.,[.,.]],[.,.]]],.]=>336
[[[.,.],[[[.,.],.],[.,.]]],.]=>336
[[[.,.],[[.,[.,[.,.]]],.]],.]=>1008
[[[.,.],[[.,[[.,.],.]],.]],.]=>1008
[[[.,.],[[[.,.],[.,.]],.]],.]=>504
[[[.,.],[[[.,[.,.]],.],.]],.]=>1008
[[[.,.],[[[[.,.],.],.],.]],.]=>1008
[[[.,[.,.]],[.,[.,[.,.]]]],.]=>504
[[[.,[.,.]],[.,[[.,.],.]]],.]=>504
[[[.,[.,.]],[[.,.],[.,.]]],.]=>252
[[[.,[.,.]],[[.,[.,.]],.]],.]=>504
[[[.,[.,.]],[[[.,.],.],.]],.]=>504
[[[[.,.],.],[.,[.,[.,.]]]],.]=>504
[[[[.,.],.],[.,[[.,.],.]]],.]=>504
[[[[.,.],.],[[.,.],[.,.]]],.]=>252
[[[[.,.],.],[[.,[.,.]],.]],.]=>504
[[[[.,.],.],[[[.,.],.],.]],.]=>504
[[[.,[.,[.,.]]],[.,[.,.]]],.]=>504
[[[.,[.,[.,.]]],[[.,.],.]],.]=>504
[[[.,[[.,.],.]],[.,[.,.]]],.]=>504
[[[.,[[.,.],.]],[[.,.],.]],.]=>504
[[[[.,.],[.,.]],[.,[.,.]]],.]=>252
[[[[.,.],[.,.]],[[.,.],.]],.]=>252
[[[[.,[.,.]],.],[.,[.,.]]],.]=>504
[[[[.,[.,.]],.],[[.,.],.]],.]=>504
[[[[[.,.],.],.],[.,[.,.]]],.]=>504
[[[[[.,.],.],.],[[.,.],.]],.]=>504
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>1008
[[[.,[.,[[.,.],.]]],[.,.]],.]=>1008
[[[.,[[.,.],[.,.]]],[.,.]],.]=>504
[[[.,[[.,[.,.]],.]],[.,.]],.]=>1008
[[[.,[[[.,.],.],.]],[.,.]],.]=>1008
[[[[.,.],[.,[.,.]]],[.,.]],.]=>336
[[[[.,.],[[.,.],.]],[.,.]],.]=>336
[[[[.,[.,.]],[.,.]],[.,.]],.]=>336
[[[[[.,.],.],[.,.]],[.,.]],.]=>336
[[[[.,[.,[.,.]]],.],[.,.]],.]=>1008
[[[[.,[[.,.],.]],.],[.,.]],.]=>1008
[[[[[.,.],[.,.]],.],[.,.]],.]=>504
[[[[[.,[.,.]],.],.],[.,.]],.]=>1008
[[[[[[.,.],.],.],.],[.,.]],.]=>1008
[[[.,[.,[.,[.,[.,.]]]]],.],.]=>5040
[[[.,[.,[.,[[.,.],.]]]],.],.]=>5040
[[[.,[.,[[.,.],[.,.]]]],.],.]=>2520
[[[.,[.,[[.,[.,.]],.]]],.],.]=>5040
[[[.,[.,[[[.,.],.],.]]],.],.]=>5040
[[[.,[[.,.],[.,[.,.]]]],.],.]=>1680
[[[.,[[.,.],[[.,.],.]]],.],.]=>1680
[[[.,[[.,[.,.]],[.,.]]],.],.]=>1680
[[[.,[[[.,.],.],[.,.]]],.],.]=>1680
[[[.,[[.,[.,[.,.]]],.]],.],.]=>5040
[[[.,[[.,[[.,.],.]],.]],.],.]=>5040
[[[.,[[[.,.],[.,.]],.]],.],.]=>2520
[[[.,[[[.,[.,.]],.],.]],.],.]=>5040
[[[.,[[[[.,.],.],.],.]],.],.]=>5040
[[[[.,.],[.,[.,[.,.]]]],.],.]=>1260
[[[[.,.],[.,[[.,.],.]]],.],.]=>1260
[[[[.,.],[[.,.],[.,.]]],.],.]=>630
[[[[.,.],[[.,[.,.]],.]],.],.]=>1260
[[[[.,.],[[[.,.],.],.]],.],.]=>1260
[[[[.,[.,.]],[.,[.,.]]],.],.]=>840
[[[[.,[.,.]],[[.,.],.]],.],.]=>840
[[[[[.,.],.],[.,[.,.]]],.],.]=>840
[[[[[.,.],.],[[.,.],.]],.],.]=>840
[[[[.,[.,[.,.]]],[.,.]],.],.]=>1260
[[[[.,[[.,.],.]],[.,.]],.],.]=>1260
[[[[[.,.],[.,.]],[.,.]],.],.]=>630
[[[[[.,[.,.]],.],[.,.]],.],.]=>1260
[[[[[[.,.],.],.],[.,.]],.],.]=>1260
[[[[.,[.,[.,[.,.]]]],.],.],.]=>5040
[[[[.,[.,[[.,.],.]]],.],.],.]=>5040
[[[[.,[[.,.],[.,.]]],.],.],.]=>2520
[[[[.,[[.,[.,.]],.]],.],.],.]=>5040
[[[[.,[[[.,.],.],.]],.],.],.]=>5040
[[[[[.,.],[.,[.,.]]],.],.],.]=>1680
[[[[[.,.],[[.,.],.]],.],.],.]=>1680
[[[[[.,[.,.]],[.,.]],.],.],.]=>1680
[[[[[[.,.],.],[.,.]],.],.],.]=>1680
[[[[[.,[.,[.,.]]],.],.],.],.]=>5040
[[[[[.,[[.,.],.]],.],.],.],.]=>5040
[[[[[[.,.],[.,.]],.],.],.],.]=>2520
[[[[[[.,[.,.]],.],.],.],.],.]=>5040
[[[[[[[.,.],.],.],.],.],.],.]=>5040
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]=>40320
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]=>40320
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]]=>20160
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]=>40320
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]=>40320
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]]=>13440
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]]=>13440
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]]=>13440
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]]=>13440
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]=>40320
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]=>40320
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]]=>20160
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]=>40320
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]=>40320
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]]=>10080
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]]=>10080
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]]=>5040
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]]=>10080
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]]=>10080
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]]=>6720
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]]=>6720
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]]=>6720
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]]=>6720
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]]=>10080
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]]=>10080
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]]=>5040
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]]=>10080
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]]=>10080
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]=>40320
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]]=>40320
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]]=>20160
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]=>40320
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]=>40320
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]]=>13440
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]]=>13440
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]]=>13440
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]]=>13440
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]=>40320
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]]=>40320
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]]=>20160
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]=>40320
[.,[.,[.,[[[[[.,.],.],.],.],.]]]]=>40320
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]]=>8064
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]]=>8064
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]]=>4032
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]]=>8064
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]]=>8064
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]]=>2688
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]]=>2688
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]]=>2688
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]]=>2688
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]]=>8064
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]]=>8064
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]]=>4032
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]]=>8064
[.,[.,[[.,.],[[[[.,.],.],.],.]]]]=>8064
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]]=>4032
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]]=>4032
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]]=>2016
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]]=>4032
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]]=>4032
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]]=>4032
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]]=>4032
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]]=>2016
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]]=>4032
[.,[.,[[[.,.],.],[[[.,.],.],.]]]]=>4032
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]]=>4032
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]]=>4032
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]]=>4032
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]]=>4032
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]]=>2016
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]]=>2016
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]]=>4032
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]]=>4032
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]]=>4032
[.,[.,[[[[.,.],.],.],[[.,.],.]]]]=>4032
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]]=>8064
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]]=>8064
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]]=>4032
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]]=>8064
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]]=>8064
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]]=>2688
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]]=>2688
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]]=>2688
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]]=>2688
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]]=>8064
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]]=>8064
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]]=>4032
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]]=>8064
[.,[.,[[[[[.,.],.],.],.],[.,.]]]]=>8064
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]=>40320
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]]=>40320
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]]=>20160
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]]=>40320
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]]=>40320
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]]=>13440
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]]=>13440
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]]=>13440
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]]=>13440
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]]=>40320
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]]=>40320
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]]=>20160
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]]=>40320
[.,[.,[[.,[[[[.,.],.],.],.]],.]]]=>40320
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]]=>10080
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]]=>10080
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]]=>5040
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]]=>10080
[.,[.,[[[.,.],[[[.,.],.],.]],.]]]=>10080
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]]=>6720
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]]=>6720
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]]=>6720
[.,[.,[[[[.,.],.],[[.,.],.]],.]]]=>6720
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]]=>10080
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]]=>10080
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]]=>5040
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]]=>10080
[.,[.,[[[[[.,.],.],.],[.,.]],.]]]=>10080
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]=>40320
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]]=>40320
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]]=>20160
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]]=>40320
[.,[.,[[[.,[[[.,.],.],.]],.],.]]]=>40320
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]]=>13440
[.,[.,[[[[.,.],[[.,.],.]],.],.]]]=>13440
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]]=>13440
[.,[.,[[[[[.,.],.],[.,.]],.],.]]]=>13440
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]]=>40320
[.,[.,[[[[.,[[.,.],.]],.],.],.]]]=>40320
[.,[.,[[[[[.,.],[.,.]],.],.],.]]]=>20160
[.,[.,[[[[[.,[.,.]],.],.],.],.]]]=>40320
[.,[.,[[[[[[.,.],.],.],.],.],.]]]=>40320
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]]=>6720
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]]=>6720
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]]=>3360
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]]=>6720
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]]=>6720
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]]=>2240
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]]=>2240
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]]=>2240
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]]=>2240
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]]=>6720
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]]=>6720
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]]=>3360
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]]=>6720
[.,[[.,.],[.,[[[[.,.],.],.],.]]]]=>6720
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]]=>1680
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]]=>1680
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]]=>840
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]]=>1680
[.,[[.,.],[[.,.],[[[.,.],.],.]]]]=>1680
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]]=>1120
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]]=>1120
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]]=>1120
[.,[[.,.],[[[.,.],.],[[.,.],.]]]]=>1120
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]]=>1680
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]]=>1680
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]]=>840
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]]=>1680
[.,[[.,.],[[[[.,.],.],.],[.,.]]]]=>1680
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]]=>6720
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]]=>6720
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]]=>3360
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]]=>6720
[.,[[.,.],[[.,[[[.,.],.],.]],.]]]=>6720
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]]=>2240
[.,[[.,.],[[[.,.],[[.,.],.]],.]]]=>2240
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]]=>2240
[.,[[.,.],[[[[.,.],.],[.,.]],.]]]=>2240
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]]=>6720
[.,[[.,.],[[[.,[[.,.],.]],.],.]]]=>6720
[.,[[.,.],[[[[.,.],[.,.]],.],.]]]=>3360
[.,[[.,.],[[[[.,[.,.]],.],.],.]]]=>6720
[.,[[.,.],[[[[[.,.],.],.],.],.]]]=>6720
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]]=>2688
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]]=>2688
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]]=>1344
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]]=>2688
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]]=>2688
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]]=>896
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]]=>896
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]]=>896
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]]=>896
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]]=>2688
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]]=>2688
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]]=>1344
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]]=>2688
[.,[[.,[.,.]],[[[[.,.],.],.],.]]]=>2688
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]]=>2688
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]]=>2688
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]]=>1344
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]]=>2688
[.,[[[.,.],.],[.,[[[.,.],.],.]]]]=>2688
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]]=>896
[.,[[[.,.],.],[[.,.],[[.,.],.]]]]=>896
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]]=>896
[.,[[[.,.],.],[[[.,.],.],[.,.]]]]=>896
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]]=>2688
[.,[[[.,.],.],[[.,[[.,.],.]],.]]]=>2688
[.,[[[.,.],.],[[[.,.],[.,.]],.]]]=>1344
[.,[[[.,.],.],[[[.,[.,.]],.],.]]]=>2688
[.,[[[.,.],.],[[[[.,.],.],.],.]]]=>2688
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]]=>2016
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]]=>2016
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]]=>1008
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]]=>2016
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]]=>2016
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]]=>2016
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]]=>2016
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]]=>1008
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]]=>2016
[.,[[.,[[.,.],.]],[[[.,.],.],.]]]=>2016
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]]=>1008
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]]=>1008
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]]=>504
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]]=>1008
[.,[[[.,.],[.,.]],[[[.,.],.],.]]]=>1008
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]]=>2016
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]]=>2016
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]]=>1008
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]]=>2016
[.,[[[.,[.,.]],.],[[[.,.],.],.]]]=>2016
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]]=>2016
[.,[[[[.,.],.],.],[.,[[.,.],.]]]]=>2016
[.,[[[[.,.],.],.],[[.,.],[.,.]]]]=>1008
[.,[[[[.,.],.],.],[[.,[.,.]],.]]]=>2016
[.,[[[[.,.],.],.],[[[.,.],.],.]]]=>2016
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]]=>2688
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]]=>2688
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]]=>2688
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]]=>2688
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]]=>1344
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]]=>1344
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]]=>2688
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]]=>2688
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]]=>2688
[.,[[.,[[[.,.],.],.]],[[.,.],.]]]=>2688
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]]=>896
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]]=>896
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]]=>896
[.,[[[.,.],[[.,.],.]],[[.,.],.]]]=>896
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]]=>896
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]]=>896
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]]=>896
[.,[[[[.,.],.],[.,.]],[[.,.],.]]]=>896
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]]=>2688
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]]=>2688
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]]=>2688
[.,[[[.,[[.,.],.]],.],[[.,.],.]]]=>2688
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]]=>1344
[.,[[[[.,.],[.,.]],.],[[.,.],.]]]=>1344
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]]=>2688
[.,[[[[.,[.,.]],.],.],[[.,.],.]]]=>2688
[.,[[[[[.,.],.],.],.],[.,[.,.]]]]=>2688
[.,[[[[[.,.],.],.],.],[[.,.],.]]]=>2688
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]]=>6720
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]]=>6720
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]]=>3360
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]]=>6720
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]]=>6720
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]]=>2240
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]]=>2240
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]]=>2240
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]]=>2240
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]]=>6720
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]]=>6720
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]]=>3360
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]]=>6720
[.,[[.,[[[[.,.],.],.],.]],[.,.]]]=>6720
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]]=>1680
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]]=>1680
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]]=>840
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]]=>1680
[.,[[[.,.],[[[.,.],.],.]],[.,.]]]=>1680
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]]=>1120
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]]=>1120
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]]=>1120
[.,[[[[.,.],.],[[.,.],.]],[.,.]]]=>1120
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]]=>1680
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]]=>1680
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]]=>840
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]]=>1680
[.,[[[[[.,.],.],.],[.,.]],[.,.]]]=>1680
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]]=>6720
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]]=>6720
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]]=>3360
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]]=>6720
[.,[[[.,[[[.,.],.],.]],.],[.,.]]]=>6720
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]]=>2240
[.,[[[[.,.],[[.,.],.]],.],[.,.]]]=>2240
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]]=>2240
[.,[[[[[.,.],.],[.,.]],.],[.,.]]]=>2240
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]]=>6720
[.,[[[[.,[[.,.],.]],.],.],[.,.]]]=>6720
[.,[[[[[.,.],[.,.]],.],.],[.,.]]]=>3360
[.,[[[[[.,[.,.]],.],.],.],[.,.]]]=>6720
[.,[[[[[[.,.],.],.],.],.],[.,.]]]=>6720
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]=>40320
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]]=>40320
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]]=>20160
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]]=>40320
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]]=>40320
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]]=>13440
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]]=>13440
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]]=>13440
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]]=>13440
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]]=>40320
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]]=>40320
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]]=>20160
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]]=>40320
[.,[[.,[.,[[[[.,.],.],.],.]]],.]]=>40320
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]]=>10080
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]]=>10080
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]]=>5040
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]]=>10080
[.,[[.,[[.,.],[[[.,.],.],.]]],.]]=>10080
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]]=>6720
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]]=>6720
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]]=>6720
[.,[[.,[[[.,.],.],[[.,.],.]]],.]]=>6720
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]]=>10080
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]]=>10080
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]]=>5040
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]]=>10080
[.,[[.,[[[[.,.],.],.],[.,.]]],.]]=>10080
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]]=>40320
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]]=>40320
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]]=>20160
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]]=>40320
[.,[[.,[[.,[[[.,.],.],.]],.]],.]]=>40320
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]]=>13440
[.,[[.,[[[.,.],[[.,.],.]],.]],.]]=>13440
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]]=>13440
[.,[[.,[[[[.,.],.],[.,.]],.]],.]]=>13440
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]]=>40320
[.,[[.,[[[.,[[.,.],.]],.],.]],.]]=>40320
[.,[[.,[[[[.,.],[.,.]],.],.]],.]]=>20160
[.,[[.,[[[[.,[.,.]],.],.],.]],.]]=>40320
[.,[[.,[[[[[.,.],.],.],.],.]],.]]=>40320
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]]=>8064
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]]=>8064
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]]=>4032
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]]=>8064
[.,[[[.,.],[.,[[[.,.],.],.]]],.]]=>8064
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]]=>2688
[.,[[[.,.],[[.,.],[[.,.],.]]],.]]=>2688
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]]=>2688
[.,[[[.,.],[[[.,.],.],[.,.]]],.]]=>2688
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]]=>8064
[.,[[[.,.],[[.,[[.,.],.]],.]],.]]=>8064
[.,[[[.,.],[[[.,.],[.,.]],.]],.]]=>4032
[.,[[[.,.],[[[.,[.,.]],.],.]],.]]=>8064
[.,[[[.,.],[[[[.,.],.],.],.]],.]]=>8064
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]]=>4032
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]]=>4032
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]]=>2016
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]]=>4032
[.,[[[.,[.,.]],[[[.,.],.],.]],.]]=>4032
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]]=>4032
[.,[[[[.,.],.],[.,[[.,.],.]]],.]]=>4032
[.,[[[[.,.],.],[[.,.],[.,.]]],.]]=>2016
[.,[[[[.,.],.],[[.,[.,.]],.]],.]]=>4032
[.,[[[[.,.],.],[[[.,.],.],.]],.]]=>4032
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]]=>4032
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]]=>4032
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]]=>4032
[.,[[[.,[[.,.],.]],[[.,.],.]],.]]=>4032
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]]=>2016
[.,[[[[.,.],[.,.]],[[.,.],.]],.]]=>2016
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]]=>4032
[.,[[[[.,[.,.]],.],[[.,.],.]],.]]=>4032
[.,[[[[[.,.],.],.],[.,[.,.]]],.]]=>4032
[.,[[[[[.,.],.],.],[[.,.],.]],.]]=>4032
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]]=>8064
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]]=>8064
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]]=>4032
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]]=>8064
[.,[[[.,[[[.,.],.],.]],[.,.]],.]]=>8064
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]]=>2688
[.,[[[[.,.],[[.,.],.]],[.,.]],.]]=>2688
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]]=>2688
[.,[[[[[.,.],.],[.,.]],[.,.]],.]]=>2688
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]]=>8064
[.,[[[[.,[[.,.],.]],.],[.,.]],.]]=>8064
[.,[[[[[.,.],[.,.]],.],[.,.]],.]]=>4032
[.,[[[[[.,[.,.]],.],.],[.,.]],.]]=>8064
[.,[[[[[[.,.],.],.],.],[.,.]],.]]=>8064
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]=>40320
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]]=>40320
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]]=>20160
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]]=>40320
[.,[[[.,[.,[[[.,.],.],.]]],.],.]]=>40320
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]]=>13440
[.,[[[.,[[.,.],[[.,.],.]]],.],.]]=>13440
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]]=>13440
[.,[[[.,[[[.,.],.],[.,.]]],.],.]]=>13440
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]]=>40320
[.,[[[.,[[.,[[.,.],.]],.]],.],.]]=>40320
[.,[[[.,[[[.,.],[.,.]],.]],.],.]]=>20160
[.,[[[.,[[[.,[.,.]],.],.]],.],.]]=>40320
[.,[[[.,[[[[.,.],.],.],.]],.],.]]=>40320
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]]=>10080
[.,[[[[.,.],[.,[[.,.],.]]],.],.]]=>10080
[.,[[[[.,.],[[.,.],[.,.]]],.],.]]=>5040
[.,[[[[.,.],[[.,[.,.]],.]],.],.]]=>10080
[.,[[[[.,.],[[[.,.],.],.]],.],.]]=>10080
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]]=>6720
[.,[[[[.,[.,.]],[[.,.],.]],.],.]]=>6720
[.,[[[[[.,.],.],[.,[.,.]]],.],.]]=>6720
[.,[[[[[.,.],.],[[.,.],.]],.],.]]=>6720
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]]=>10080
[.,[[[[.,[[.,.],.]],[.,.]],.],.]]=>10080
[.,[[[[[.,.],[.,.]],[.,.]],.],.]]=>5040
[.,[[[[[.,[.,.]],.],[.,.]],.],.]]=>10080
[.,[[[[[[.,.],.],.],[.,.]],.],.]]=>10080
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]]=>40320
[.,[[[[.,[.,[[.,.],.]]],.],.],.]]=>40320
[.,[[[[.,[[.,.],[.,.]]],.],.],.]]=>20160
[.,[[[[.,[[.,[.,.]],.]],.],.],.]]=>40320
[.,[[[[.,[[[.,.],.],.]],.],.],.]]=>40320
[.,[[[[[.,.],[.,[.,.]]],.],.],.]]=>13440
[.,[[[[[.,.],[[.,.],.]],.],.],.]]=>13440
[.,[[[[[.,[.,.]],[.,.]],.],.],.]]=>13440
[.,[[[[[[.,.],.],[.,.]],.],.],.]]=>13440
[.,[[[[[.,[.,[.,.]]],.],.],.],.]]=>40320
[.,[[[[[.,[[.,.],.]],.],.],.],.]]=>40320
[.,[[[[[[.,.],[.,.]],.],.],.],.]]=>20160
[.,[[[[[[.,[.,.]],.],.],.],.],.]]=>40320
[.,[[[[[[[.,.],.],.],.],.],.],.]]=>40320
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]]=>5760
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]]=>5760
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]]=>2880
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]]=>5760
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]]=>5760
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]]=>1920
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]]=>1920
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]]=>1920
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]]=>1920
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]]=>5760
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]]=>5760
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]]=>2880
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]]=>5760
[[.,.],[.,[.,[[[[.,.],.],.],.]]]]=>5760
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]]=>1440
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]]=>1440
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]]=>720
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]]=>1440
[[.,.],[.,[[.,.],[[[.,.],.],.]]]]=>1440
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]]=>960
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]]=>960
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]]=>960
[[.,.],[.,[[[.,.],.],[[.,.],.]]]]=>960
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]]=>1440
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]]=>1440
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]]=>720
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]]=>1440
[[.,.],[.,[[[[.,.],.],.],[.,.]]]]=>1440
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]]=>5760
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]]=>5760
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]]=>2880
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]]=>5760
[[.,.],[.,[[.,[[[.,.],.],.]],.]]]=>5760
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]]=>1920
[[.,.],[.,[[[.,.],[[.,.],.]],.]]]=>1920
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]]=>1920
[[.,.],[.,[[[[.,.],.],[.,.]],.]]]=>1920
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]]=>5760
[[.,.],[.,[[[.,[[.,.],.]],.],.]]]=>5760
[[.,.],[.,[[[[.,.],[.,.]],.],.]]]=>2880
[[.,.],[.,[[[[.,[.,.]],.],.],.]]]=>5760
[[.,.],[.,[[[[[.,.],.],.],.],.]]]=>5760
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]]=>1152
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]]=>1152
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]]=>576
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]]=>1152
[[.,.],[[.,.],[.,[[[.,.],.],.]]]]=>1152
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]]=>384
[[.,.],[[.,.],[[.,.],[[.,.],.]]]]=>384
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]]=>384
[[.,.],[[.,.],[[[.,.],.],[.,.]]]]=>384
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]]=>1152
[[.,.],[[.,.],[[.,[[.,.],.]],.]]]=>1152
[[.,.],[[.,.],[[[.,.],[.,.]],.]]]=>576
[[.,.],[[.,.],[[[.,[.,.]],.],.]]]=>1152
[[.,.],[[.,.],[[[[.,.],.],.],.]]]=>1152
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]]=>576
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]]=>576
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]]=>288
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]]=>576
[[.,.],[[.,[.,.]],[[[.,.],.],.]]]=>576
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]]=>576
[[.,.],[[[.,.],.],[.,[[.,.],.]]]]=>576
[[.,.],[[[.,.],.],[[.,.],[.,.]]]]=>288
[[.,.],[[[.,.],.],[[.,[.,.]],.]]]=>576
[[.,.],[[[.,.],.],[[[.,.],.],.]]]=>576
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]]=>576
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]]=>576
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]]=>576
[[.,.],[[.,[[.,.],.]],[[.,.],.]]]=>576
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]]=>288
[[.,.],[[[.,.],[.,.]],[[.,.],.]]]=>288
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]]=>576
[[.,.],[[[.,[.,.]],.],[[.,.],.]]]=>576
[[.,.],[[[[.,.],.],.],[.,[.,.]]]]=>576
[[.,.],[[[[.,.],.],.],[[.,.],.]]]=>576
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]]=>1152
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]]=>1152
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]]=>576
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]]=>1152
[[.,.],[[.,[[[.,.],.],.]],[.,.]]]=>1152
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]]=>384
[[.,.],[[[.,.],[[.,.],.]],[.,.]]]=>384
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]]=>384
[[.,.],[[[[.,.],.],[.,.]],[.,.]]]=>384
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]]=>1152
[[.,.],[[[.,[[.,.],.]],.],[.,.]]]=>1152
[[.,.],[[[[.,.],[.,.]],.],[.,.]]]=>576
[[.,.],[[[[.,[.,.]],.],.],[.,.]]]=>1152
[[.,.],[[[[[.,.],.],.],.],[.,.]]]=>1152
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]]=>5760
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]]=>5760
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]]=>2880
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]]=>5760
[[.,.],[[.,[.,[[[.,.],.],.]]],.]]=>5760
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]]=>1920
[[.,.],[[.,[[.,.],[[.,.],.]]],.]]=>1920
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]]=>1920
[[.,.],[[.,[[[.,.],.],[.,.]]],.]]=>1920
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]]=>5760
[[.,.],[[.,[[.,[[.,.],.]],.]],.]]=>5760
[[.,.],[[.,[[[.,.],[.,.]],.]],.]]=>2880
[[.,.],[[.,[[[.,[.,.]],.],.]],.]]=>5760
[[.,.],[[.,[[[[.,.],.],.],.]],.]]=>5760
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]]=>1440
[[.,.],[[[.,.],[.,[[.,.],.]]],.]]=>1440
[[.,.],[[[.,.],[[.,.],[.,.]]],.]]=>720
[[.,.],[[[.,.],[[.,[.,.]],.]],.]]=>1440
[[.,.],[[[.,.],[[[.,.],.],.]],.]]=>1440
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]]=>960
[[.,.],[[[.,[.,.]],[[.,.],.]],.]]=>960
[[.,.],[[[[.,.],.],[.,[.,.]]],.]]=>960
[[.,.],[[[[.,.],.],[[.,.],.]],.]]=>960
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]]=>1440
[[.,.],[[[.,[[.,.],.]],[.,.]],.]]=>1440
[[.,.],[[[[.,.],[.,.]],[.,.]],.]]=>720
[[.,.],[[[[.,[.,.]],.],[.,.]],.]]=>1440
[[.,.],[[[[[.,.],.],.],[.,.]],.]]=>1440
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]]=>5760
[[.,.],[[[.,[.,[[.,.],.]]],.],.]]=>5760
[[.,.],[[[.,[[.,.],[.,.]]],.],.]]=>2880
[[.,.],[[[.,[[.,[.,.]],.]],.],.]]=>5760
[[.,.],[[[.,[[[.,.],.],.]],.],.]]=>5760
[[.,.],[[[[.,.],[.,[.,.]]],.],.]]=>1920
[[.,.],[[[[.,.],[[.,.],.]],.],.]]=>1920
[[.,.],[[[[.,[.,.]],[.,.]],.],.]]=>1920
[[.,.],[[[[[.,.],.],[.,.]],.],.]]=>1920
[[.,.],[[[[.,[.,[.,.]]],.],.],.]]=>5760
[[.,.],[[[[.,[[.,.],.]],.],.],.]]=>5760
[[.,.],[[[[[.,.],[.,.]],.],.],.]]=>2880
[[.,.],[[[[[.,[.,.]],.],.],.],.]]=>5760
[[.,.],[[[[[[.,.],.],.],.],.],.]]=>5760
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]]=>1920
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]]=>1920
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]]=>960
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]]=>1920
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]]=>1920
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]]=>640
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]]=>640
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]]=>640
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]]=>640
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]]=>1920
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]]=>1920
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]]=>960
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]]=>1920
[[.,[.,.]],[.,[[[[.,.],.],.],.]]]=>1920
[[.,[.,.]],[[.,.],[.,[.,[.,.]]]]]=>480
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 tree factorial of a binary tree.
References
Code
def statistic(B): return B.tree_factorial()
Created
Feb 25, 2016 at 09:51 by Martin Rubey
Updated
Feb 25, 2016 at 09:51 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!