Identifier
- St000400: Ordered trees ⟶ ℤ
Values
[[]] => 1
[[],[]] => 2
[[[]]] => 3
[[],[],[]] => 3
[[],[[]]] => 4
[[[]],[]] => 4
[[[],[]]] => 5
[[[[]]]] => 6
[[],[],[],[]] => 4
[[],[],[[]]] => 5
[[],[[]],[]] => 5
[[],[[],[]]] => 6
[[],[[[]]]] => 7
[[[]],[],[]] => 5
[[[]],[[]]] => 6
[[[],[]],[]] => 6
[[[[]]],[]] => 7
[[[],[],[]]] => 7
[[[],[[]]]] => 8
[[[[]],[]]] => 8
[[[[],[]]]] => 9
[[[[[]]]]] => 10
[[],[],[],[],[]] => 5
[[],[],[],[[]]] => 6
[[],[],[[]],[]] => 6
[[],[],[[],[]]] => 7
[[],[],[[[]]]] => 8
[[],[[]],[],[]] => 6
[[],[[]],[[]]] => 7
[[],[[],[]],[]] => 7
[[],[[[]]],[]] => 8
[[],[[],[],[]]] => 8
[[],[[],[[]]]] => 9
[[],[[[]],[]]] => 9
[[],[[[],[]]]] => 10
[[],[[[[]]]]] => 11
[[[]],[],[],[]] => 6
[[[]],[],[[]]] => 7
[[[]],[[]],[]] => 7
[[[]],[[],[]]] => 8
[[[]],[[[]]]] => 9
[[[],[]],[],[]] => 7
[[[[]]],[],[]] => 8
[[[],[]],[[]]] => 8
[[[[]]],[[]]] => 9
[[[],[],[]],[]] => 8
[[[],[[]]],[]] => 9
[[[[]],[]],[]] => 9
[[[[],[]]],[]] => 10
[[[[[]]]],[]] => 11
[[[],[],[],[]]] => 9
[[[],[],[[]]]] => 10
[[[],[[]],[]]] => 10
[[[],[[],[]]]] => 11
[[[],[[[]]]]] => 12
[[[[]],[],[]]] => 10
[[[[]],[[]]]] => 11
[[[[],[]],[]]] => 11
[[[[[]]],[]]] => 12
[[[[],[],[]]]] => 12
[[[[],[[]]]]] => 13
[[[[[]],[]]]] => 13
[[[[[],[]]]]] => 14
[[[[[[]]]]]] => 15
[[],[],[],[],[],[]] => 6
[[],[],[],[],[[]]] => 7
[[],[],[],[[]],[]] => 7
[[],[],[],[[],[]]] => 8
[[],[],[],[[[]]]] => 9
[[],[],[[]],[],[]] => 7
[[],[],[[]],[[]]] => 8
[[],[],[[],[]],[]] => 8
[[],[],[[[]]],[]] => 9
[[],[],[[],[],[]]] => 9
[[],[],[[],[[]]]] => 10
[[],[],[[[]],[]]] => 10
[[],[],[[[],[]]]] => 11
[[],[],[[[[]]]]] => 12
[[],[[]],[],[],[]] => 7
[[],[[]],[],[[]]] => 8
[[],[[]],[[]],[]] => 8
[[],[[]],[[],[]]] => 9
[[],[[]],[[[]]]] => 10
[[],[[],[]],[],[]] => 8
[[],[[[]]],[],[]] => 9
[[],[[],[]],[[]]] => 9
[[],[[[]]],[[]]] => 10
[[],[[],[],[]],[]] => 9
[[],[[],[[]]],[]] => 10
[[],[[[]],[]],[]] => 10
[[],[[[],[]]],[]] => 11
[[],[[[[]]]],[]] => 12
[[],[[],[],[],[]]] => 10
[[],[[],[],[[]]]] => 11
[[],[[],[[]],[]]] => 11
[[],[[],[[],[]]]] => 12
[[],[[],[[[]]]]] => 13
[[],[[[]],[],[]]] => 11
[[],[[[]],[[]]]] => 12
[[],[[[],[]],[]]] => 12
[[],[[[[]]],[]]] => 13
>>> Load all 1200 entries. <<<[[],[[[],[],[]]]] => 13
[[],[[[],[[]]]]] => 14
[[],[[[[]],[]]]] => 14
[[],[[[[],[]]]]] => 15
[[],[[[[[]]]]]] => 16
[[[]],[],[],[],[]] => 7
[[[]],[],[],[[]]] => 8
[[[]],[],[[]],[]] => 8
[[[]],[],[[],[]]] => 9
[[[]],[],[[[]]]] => 10
[[[]],[[]],[],[]] => 8
[[[]],[[]],[[]]] => 9
[[[]],[[],[]],[]] => 9
[[[]],[[[]]],[]] => 10
[[[]],[[],[],[]]] => 10
[[[]],[[],[[]]]] => 11
[[[]],[[[]],[]]] => 11
[[[]],[[[],[]]]] => 12
[[[]],[[[[]]]]] => 13
[[[],[]],[],[],[]] => 8
[[[[]]],[],[],[]] => 9
[[[],[]],[],[[]]] => 9
[[[[]]],[],[[]]] => 10
[[[],[]],[[]],[]] => 9
[[[[]]],[[]],[]] => 10
[[[],[]],[[],[]]] => 10
[[[],[]],[[[]]]] => 11
[[[[]]],[[],[]]] => 11
[[[[]]],[[[]]]] => 12
[[[],[],[]],[],[]] => 9
[[[],[[]]],[],[]] => 10
[[[[]],[]],[],[]] => 10
[[[[],[]]],[],[]] => 11
[[[[[]]]],[],[]] => 12
[[[],[],[]],[[]]] => 10
[[[],[[]]],[[]]] => 11
[[[[]],[]],[[]]] => 11
[[[[],[]]],[[]]] => 12
[[[[[]]]],[[]]] => 13
[[[],[],[],[]],[]] => 10
[[[],[],[[]]],[]] => 11
[[[],[[]],[]],[]] => 11
[[[],[[],[]]],[]] => 12
[[[],[[[]]]],[]] => 13
[[[[]],[],[]],[]] => 11
[[[[]],[[]]],[]] => 12
[[[[],[]],[]],[]] => 12
[[[[[]]],[]],[]] => 13
[[[[],[],[]]],[]] => 13
[[[[],[[]]]],[]] => 14
[[[[[]],[]]],[]] => 14
[[[[[],[]]]],[]] => 15
[[[[[[]]]]],[]] => 16
[[[],[],[],[],[]]] => 11
[[[],[],[],[[]]]] => 12
[[[],[],[[]],[]]] => 12
[[[],[],[[],[]]]] => 13
[[[],[],[[[]]]]] => 14
[[[],[[]],[],[]]] => 12
[[[],[[]],[[]]]] => 13
[[[],[[],[]],[]]] => 13
[[[],[[[]]],[]]] => 14
[[[],[[],[],[]]]] => 14
[[[],[[],[[]]]]] => 15
[[[],[[[]],[]]]] => 15
[[[],[[[],[]]]]] => 16
[[[],[[[[]]]]]] => 17
[[[[]],[],[],[]]] => 12
[[[[]],[],[[]]]] => 13
[[[[]],[[]],[]]] => 13
[[[[]],[[],[]]]] => 14
[[[[]],[[[]]]]] => 15
[[[[],[]],[],[]]] => 13
[[[[[]]],[],[]]] => 14
[[[[],[]],[[]]]] => 14
[[[[[]]],[[]]]] => 15
[[[[],[],[]],[]]] => 14
[[[[],[[]]],[]]] => 15
[[[[[]],[]],[]]] => 15
[[[[[],[]]],[]]] => 16
[[[[[[]]]],[]]] => 17
[[[[],[],[],[]]]] => 15
[[[[],[],[[]]]]] => 16
[[[[],[[]],[]]]] => 16
[[[[],[[],[]]]]] => 17
[[[[],[[[]]]]]] => 18
[[[[[]],[],[]]]] => 16
[[[[[]],[[]]]]] => 17
[[[[[],[]],[]]]] => 17
[[[[[[]]],[]]]] => 18
[[[[[],[],[]]]]] => 18
[[[[[],[[]]]]]] => 19
[[[[[[]],[]]]]] => 19
[[[[[[],[]]]]]] => 20
[[[[[[[]]]]]]] => 21
[[],[],[],[],[],[],[]] => 7
[[],[],[],[],[],[[]]] => 8
[[],[],[],[],[[]],[]] => 8
[[],[],[],[],[[],[]]] => 9
[[],[],[],[],[[[]]]] => 10
[[],[],[],[[]],[],[]] => 8
[[],[],[],[[]],[[]]] => 9
[[],[],[],[[],[]],[]] => 9
[[],[],[],[[[]]],[]] => 10
[[],[],[],[[],[],[]]] => 10
[[],[],[],[[],[[]]]] => 11
[[],[],[],[[[]],[]]] => 11
[[],[],[],[[[],[]]]] => 12
[[],[],[],[[[[]]]]] => 13
[[],[],[[]],[],[],[]] => 8
[[],[],[[]],[],[[]]] => 9
[[],[],[[]],[[]],[]] => 9
[[],[],[[]],[[],[]]] => 10
[[],[],[[]],[[[]]]] => 11
[[],[],[[],[]],[],[]] => 9
[[],[],[[[]]],[],[]] => 10
[[],[],[[],[]],[[]]] => 10
[[],[],[[[]]],[[]]] => 11
[[],[],[[],[],[]],[]] => 10
[[],[],[[],[[]]],[]] => 11
[[],[],[[[]],[]],[]] => 11
[[],[],[[[],[]]],[]] => 12
[[],[],[[[[]]]],[]] => 13
[[],[],[[],[],[],[]]] => 11
[[],[],[[],[],[[]]]] => 12
[[],[],[[],[[]],[]]] => 12
[[],[],[[],[[],[]]]] => 13
[[],[],[[],[[[]]]]] => 14
[[],[],[[[]],[],[]]] => 12
[[],[],[[[]],[[]]]] => 13
[[],[],[[[],[]],[]]] => 13
[[],[],[[[[]]],[]]] => 14
[[],[],[[[],[],[]]]] => 14
[[],[],[[[],[[]]]]] => 15
[[],[],[[[[]],[]]]] => 15
[[],[],[[[[],[]]]]] => 16
[[],[],[[[[[]]]]]] => 17
[[],[[]],[],[],[],[]] => 8
[[],[[]],[],[],[[]]] => 9
[[],[[]],[],[[]],[]] => 9
[[],[[]],[],[[],[]]] => 10
[[],[[]],[],[[[]]]] => 11
[[],[[]],[[]],[],[]] => 9
[[],[[]],[[]],[[]]] => 10
[[],[[]],[[],[]],[]] => 10
[[],[[]],[[[]]],[]] => 11
[[],[[]],[[],[],[]]] => 11
[[],[[]],[[],[[]]]] => 12
[[],[[]],[[[]],[]]] => 12
[[],[[]],[[[],[]]]] => 13
[[],[[]],[[[[]]]]] => 14
[[],[[],[]],[],[],[]] => 9
[[],[[[]]],[],[],[]] => 10
[[],[[],[]],[],[[]]] => 10
[[],[[[]]],[],[[]]] => 11
[[],[[],[]],[[]],[]] => 10
[[],[[[]]],[[]],[]] => 11
[[],[[],[]],[[],[]]] => 11
[[],[[],[]],[[[]]]] => 12
[[],[[[]]],[[],[]]] => 12
[[],[[[]]],[[[]]]] => 13
[[],[[],[],[]],[],[]] => 10
[[],[[],[[]]],[],[]] => 11
[[],[[[]],[]],[],[]] => 11
[[],[[[],[]]],[],[]] => 12
[[],[[[[]]]],[],[]] => 13
[[],[[],[],[]],[[]]] => 11
[[],[[],[[]]],[[]]] => 12
[[],[[[]],[]],[[]]] => 12
[[],[[[],[]]],[[]]] => 13
[[],[[[[]]]],[[]]] => 14
[[],[[],[],[],[]],[]] => 11
[[],[[],[],[[]]],[]] => 12
[[],[[],[[]],[]],[]] => 12
[[],[[],[[],[]]],[]] => 13
[[],[[],[[[]]]],[]] => 14
[[],[[[]],[],[]],[]] => 12
[[],[[[]],[[]]],[]] => 13
[[],[[[],[]],[]],[]] => 13
[[],[[[[]]],[]],[]] => 14
[[],[[[],[],[]]],[]] => 14
[[],[[[],[[]]]],[]] => 15
[[],[[[[]],[]]],[]] => 15
[[],[[[[],[]]]],[]] => 16
[[],[[[[[]]]]],[]] => 17
[[],[[],[],[],[],[]]] => 12
[[],[[],[],[],[[]]]] => 13
[[],[[],[],[[]],[]]] => 13
[[],[[],[],[[],[]]]] => 14
[[],[[],[],[[[]]]]] => 15
[[],[[],[[]],[],[]]] => 13
[[],[[],[[]],[[]]]] => 14
[[],[[],[[],[]],[]]] => 14
[[],[[],[[[]]],[]]] => 15
[[],[[],[[],[],[]]]] => 15
[[],[[],[[],[[]]]]] => 16
[[],[[],[[[]],[]]]] => 16
[[],[[],[[[],[]]]]] => 17
[[],[[],[[[[]]]]]] => 18
[[],[[[]],[],[],[]]] => 13
[[],[[[]],[],[[]]]] => 14
[[],[[[]],[[]],[]]] => 14
[[],[[[]],[[],[]]]] => 15
[[],[[[]],[[[]]]]] => 16
[[],[[[],[]],[],[]]] => 14
[[],[[[[]]],[],[]]] => 15
[[],[[[],[]],[[]]]] => 15
[[],[[[[]]],[[]]]] => 16
[[],[[[],[],[]],[]]] => 15
[[],[[[],[[]]],[]]] => 16
[[],[[[[]],[]],[]]] => 16
[[],[[[[],[]]],[]]] => 17
[[],[[[[[]]]],[]]] => 18
[[],[[[],[],[],[]]]] => 16
[[],[[[],[],[[]]]]] => 17
[[],[[[],[[]],[]]]] => 17
[[],[[[],[[],[]]]]] => 18
[[],[[[],[[[]]]]]] => 19
[[],[[[[]],[],[]]]] => 17
[[],[[[[]],[[]]]]] => 18
[[],[[[[],[]],[]]]] => 18
[[],[[[[[]]],[]]]] => 19
[[],[[[[],[],[]]]]] => 19
[[],[[[[],[[]]]]]] => 20
[[],[[[[[]],[]]]]] => 20
[[],[[[[[],[]]]]]] => 21
[[],[[[[[[]]]]]]] => 22
[[[]],[],[],[],[],[]] => 8
[[[]],[],[],[],[[]]] => 9
[[[]],[],[],[[]],[]] => 9
[[[]],[],[],[[],[]]] => 10
[[[]],[],[],[[[]]]] => 11
[[[]],[],[[]],[],[]] => 9
[[[]],[],[[]],[[]]] => 10
[[[]],[],[[],[]],[]] => 10
[[[]],[],[[[]]],[]] => 11
[[[]],[],[[],[],[]]] => 11
[[[]],[],[[],[[]]]] => 12
[[[]],[],[[[]],[]]] => 12
[[[]],[],[[[],[]]]] => 13
[[[]],[],[[[[]]]]] => 14
[[[]],[[]],[],[],[]] => 9
[[[]],[[]],[],[[]]] => 10
[[[]],[[]],[[]],[]] => 10
[[[]],[[]],[[],[]]] => 11
[[[]],[[]],[[[]]]] => 12
[[[]],[[],[]],[],[]] => 10
[[[]],[[[]]],[],[]] => 11
[[[]],[[],[]],[[]]] => 11
[[[]],[[[]]],[[]]] => 12
[[[]],[[],[],[]],[]] => 11
[[[]],[[],[[]]],[]] => 12
[[[]],[[[]],[]],[]] => 12
[[[]],[[[],[]]],[]] => 13
[[[]],[[[[]]]],[]] => 14
[[[]],[[],[],[],[]]] => 12
[[[]],[[],[],[[]]]] => 13
[[[]],[[],[[]],[]]] => 13
[[[]],[[],[[],[]]]] => 14
[[[]],[[],[[[]]]]] => 15
[[[]],[[[]],[],[]]] => 13
[[[]],[[[]],[[]]]] => 14
[[[]],[[[],[]],[]]] => 14
[[[]],[[[[]]],[]]] => 15
[[[]],[[[],[],[]]]] => 15
[[[]],[[[],[[]]]]] => 16
[[[]],[[[[]],[]]]] => 16
[[[]],[[[[],[]]]]] => 17
[[[]],[[[[[]]]]]] => 18
[[[],[]],[],[],[],[]] => 9
[[[[]]],[],[],[],[]] => 10
[[[],[]],[],[],[[]]] => 10
[[[[]]],[],[],[[]]] => 11
[[[],[]],[],[[]],[]] => 10
[[[[]]],[],[[]],[]] => 11
[[[],[]],[],[[],[]]] => 11
[[[],[]],[],[[[]]]] => 12
[[[[]]],[],[[],[]]] => 12
[[[[]]],[],[[[]]]] => 13
[[[],[]],[[]],[],[]] => 10
[[[[]]],[[]],[],[]] => 11
[[[],[]],[[]],[[]]] => 11
[[[[]]],[[]],[[]]] => 12
[[[],[]],[[],[]],[]] => 11
[[[],[]],[[[]]],[]] => 12
[[[[]]],[[],[]],[]] => 12
[[[[]]],[[[]]],[]] => 13
[[[],[]],[[],[],[]]] => 12
[[[],[]],[[],[[]]]] => 13
[[[],[]],[[[]],[]]] => 13
[[[],[]],[[[],[]]]] => 14
[[[],[]],[[[[]]]]] => 15
[[[[]]],[[],[],[]]] => 13
[[[[]]],[[],[[]]]] => 14
[[[[]]],[[[]],[]]] => 14
[[[[]]],[[[],[]]]] => 15
[[[[]]],[[[[]]]]] => 16
[[[],[],[]],[],[],[]] => 10
[[[],[[]]],[],[],[]] => 11
[[[[]],[]],[],[],[]] => 11
[[[[],[]]],[],[],[]] => 12
[[[[[]]]],[],[],[]] => 13
[[[],[],[]],[],[[]]] => 11
[[[],[[]]],[],[[]]] => 12
[[[[]],[]],[],[[]]] => 12
[[[[],[]]],[],[[]]] => 13
[[[[[]]]],[],[[]]] => 14
[[[],[],[]],[[]],[]] => 11
[[[],[[]]],[[]],[]] => 12
[[[[]],[]],[[]],[]] => 12
[[[[],[]]],[[]],[]] => 13
[[[[[]]]],[[]],[]] => 14
[[[],[],[]],[[],[]]] => 12
[[[],[],[]],[[[]]]] => 13
[[[],[[]]],[[],[]]] => 13
[[[],[[]]],[[[]]]] => 14
[[[[]],[]],[[],[]]] => 13
[[[[]],[]],[[[]]]] => 14
[[[[],[]]],[[],[]]] => 14
[[[[],[]]],[[[]]]] => 15
[[[[[]]]],[[],[]]] => 15
[[[[[]]]],[[[]]]] => 16
[[[],[],[],[]],[],[]] => 11
[[[],[],[[]]],[],[]] => 12
[[[],[[]],[]],[],[]] => 12
[[[],[[],[]]],[],[]] => 13
[[[],[[[]]]],[],[]] => 14
[[[[]],[],[]],[],[]] => 12
[[[[]],[[]]],[],[]] => 13
[[[[],[]],[]],[],[]] => 13
[[[[[]]],[]],[],[]] => 14
[[[[],[],[]]],[],[]] => 14
[[[[],[[]]]],[],[]] => 15
[[[[[]],[]]],[],[]] => 15
[[[[[],[]]]],[],[]] => 16
[[[[[[]]]]],[],[]] => 17
[[[],[],[],[]],[[]]] => 12
[[[],[],[[]]],[[]]] => 13
[[[],[[]],[]],[[]]] => 13
[[[],[[],[]]],[[]]] => 14
[[[],[[[]]]],[[]]] => 15
[[[[]],[],[]],[[]]] => 13
[[[[]],[[]]],[[]]] => 14
[[[[],[]],[]],[[]]] => 14
[[[[[]]],[]],[[]]] => 15
[[[[],[],[]]],[[]]] => 15
[[[[],[[]]]],[[]]] => 16
[[[[[]],[]]],[[]]] => 16
[[[[[],[]]]],[[]]] => 17
[[[[[[]]]]],[[]]] => 18
[[[],[],[],[],[]],[]] => 12
[[[],[],[],[[]]],[]] => 13
[[[],[],[[]],[]],[]] => 13
[[[],[],[[],[]]],[]] => 14
[[[],[],[[[]]]],[]] => 15
[[[],[[]],[],[]],[]] => 13
[[[],[[]],[[]]],[]] => 14
[[[],[[],[]],[]],[]] => 14
[[[],[[[]]],[]],[]] => 15
[[[],[[],[],[]]],[]] => 15
[[[],[[],[[]]]],[]] => 16
[[[],[[[]],[]]],[]] => 16
[[[],[[[],[]]]],[]] => 17
[[[],[[[[]]]]],[]] => 18
[[[[]],[],[],[]],[]] => 13
[[[[]],[],[[]]],[]] => 14
[[[[]],[[]],[]],[]] => 14
[[[[]],[[],[]]],[]] => 15
[[[[]],[[[]]]],[]] => 16
[[[[],[]],[],[]],[]] => 14
[[[[[]]],[],[]],[]] => 15
[[[[],[]],[[]]],[]] => 15
[[[[[]]],[[]]],[]] => 16
[[[[],[],[]],[]],[]] => 15
[[[[],[[]]],[]],[]] => 16
[[[[[]],[]],[]],[]] => 16
[[[[[],[]]],[]],[]] => 17
[[[[[[]]]],[]],[]] => 18
[[[[],[],[],[]]],[]] => 16
[[[[],[],[[]]]],[]] => 17
[[[[],[[]],[]]],[]] => 17
[[[[],[[],[]]]],[]] => 18
[[[[],[[[]]]]],[]] => 19
[[[[[]],[],[]]],[]] => 17
[[[[[]],[[]]]],[]] => 18
[[[[[],[]],[]]],[]] => 18
[[[[[[]]],[]]],[]] => 19
[[[[[],[],[]]]],[]] => 19
[[[[[],[[]]]]],[]] => 20
[[[[[[]],[]]]],[]] => 20
[[[[[[],[]]]]],[]] => 21
[[[[[[[]]]]]],[]] => 22
[[[],[],[],[],[],[]]] => 13
[[[],[],[],[],[[]]]] => 14
[[[],[],[],[[]],[]]] => 14
[[[],[],[],[[],[]]]] => 15
[[[],[],[],[[[]]]]] => 16
[[[],[],[[]],[],[]]] => 14
[[[],[],[[]],[[]]]] => 15
[[[],[],[[],[]],[]]] => 15
[[[],[],[[[]]],[]]] => 16
[[[],[],[[],[],[]]]] => 16
[[[],[],[[],[[]]]]] => 17
[[[],[],[[[]],[]]]] => 17
[[[],[],[[[],[]]]]] => 18
[[[],[],[[[[]]]]]] => 19
[[[],[[]],[],[],[]]] => 14
[[[],[[]],[],[[]]]] => 15
[[[],[[]],[[]],[]]] => 15
[[[],[[]],[[],[]]]] => 16
[[[],[[]],[[[]]]]] => 17
[[[],[[],[]],[],[]]] => 15
[[[],[[[]]],[],[]]] => 16
[[[],[[],[]],[[]]]] => 16
[[[],[[[]]],[[]]]] => 17
[[[],[[],[],[]],[]]] => 16
[[[],[[],[[]]],[]]] => 17
[[[],[[[]],[]],[]]] => 17
[[[],[[[],[]]],[]]] => 18
[[[],[[[[]]]],[]]] => 19
[[[],[[],[],[],[]]]] => 17
[[[],[[],[],[[]]]]] => 18
[[[],[[],[[]],[]]]] => 18
[[[],[[],[[],[]]]]] => 19
[[[],[[],[[[]]]]]] => 20
[[[],[[[]],[],[]]]] => 18
[[[],[[[]],[[]]]]] => 19
[[[],[[[],[]],[]]]] => 19
[[[],[[[[]]],[]]]] => 20
[[[],[[[],[],[]]]]] => 20
[[[],[[[],[[]]]]]] => 21
[[[],[[[[]],[]]]]] => 21
[[[],[[[[],[]]]]]] => 22
[[[],[[[[[]]]]]]] => 23
[[[[]],[],[],[],[]]] => 14
[[[[]],[],[],[[]]]] => 15
[[[[]],[],[[]],[]]] => 15
[[[[]],[],[[],[]]]] => 16
[[[[]],[],[[[]]]]] => 17
[[[[]],[[]],[],[]]] => 15
[[[[]],[[]],[[]]]] => 16
[[[[]],[[],[]],[]]] => 16
[[[[]],[[[]]],[]]] => 17
[[[[]],[[],[],[]]]] => 17
[[[[]],[[],[[]]]]] => 18
[[[[]],[[[]],[]]]] => 18
[[[[]],[[[],[]]]]] => 19
[[[[]],[[[[]]]]]] => 20
[[[[],[]],[],[],[]]] => 15
[[[[[]]],[],[],[]]] => 16
[[[[],[]],[],[[]]]] => 16
[[[[[]]],[],[[]]]] => 17
[[[[],[]],[[]],[]]] => 16
[[[[[]]],[[]],[]]] => 17
[[[[],[]],[[],[]]]] => 17
[[[[],[]],[[[]]]]] => 18
[[[[[]]],[[],[]]]] => 18
[[[[[]]],[[[]]]]] => 19
[[[[],[],[]],[],[]]] => 16
[[[[],[[]]],[],[]]] => 17
[[[[[]],[]],[],[]]] => 17
[[[[[],[]]],[],[]]] => 18
[[[[[[]]]],[],[]]] => 19
[[[[],[],[]],[[]]]] => 17
[[[[],[[]]],[[]]]] => 18
[[[[[]],[]],[[]]]] => 18
[[[[[],[]]],[[]]]] => 19
[[[[[[]]]],[[]]]] => 20
[[[[],[],[],[]],[]]] => 17
[[[[],[],[[]]],[]]] => 18
[[[[],[[]],[]],[]]] => 18
[[[[],[[],[]]],[]]] => 19
[[[[],[[[]]]],[]]] => 20
[[[[[]],[],[]],[]]] => 18
[[[[[]],[[]]],[]]] => 19
[[[[[],[]],[]],[]]] => 19
[[[[[[]]],[]],[]]] => 20
[[[[[],[],[]]],[]]] => 20
[[[[[],[[]]]],[]]] => 21
[[[[[[]],[]]],[]]] => 21
[[[[[[],[]]]],[]]] => 22
[[[[[[[]]]]],[]]] => 23
[[[[],[],[],[],[]]]] => 18
[[[[],[],[],[[]]]]] => 19
[[[[],[],[[]],[]]]] => 19
[[[[],[],[[],[]]]]] => 20
[[[[],[],[[[]]]]]] => 21
[[[[],[[]],[],[]]]] => 19
[[[[],[[]],[[]]]]] => 20
[[[[],[[],[]],[]]]] => 20
[[[[],[[[]]],[]]]] => 21
[[[[],[[],[],[]]]]] => 21
[[[[],[[],[[]]]]]] => 22
[[[[],[[[]],[]]]]] => 22
[[[[],[[[],[]]]]]] => 23
[[[[],[[[[]]]]]]] => 24
[[[[[]],[],[],[]]]] => 19
[[[[[]],[],[[]]]]] => 20
[[[[[]],[[]],[]]]] => 20
[[[[[]],[[],[]]]]] => 21
[[[[[]],[[[]]]]]] => 22
[[[[[],[]],[],[]]]] => 20
[[[[[[]]],[],[]]]] => 21
[[[[[],[]],[[]]]]] => 21
[[[[[[]]],[[]]]]] => 22
[[[[[],[],[]],[]]]] => 21
[[[[[],[[]]],[]]]] => 22
[[[[[[]],[]],[]]]] => 22
[[[[[[],[]]],[]]]] => 23
[[[[[[[]]]],[]]]] => 24
[[[[[],[],[],[]]]]] => 22
[[[[[],[],[[]]]]]] => 23
[[[[[],[[]],[]]]]] => 23
[[[[[],[[],[]]]]]] => 24
[[[[[],[[[]]]]]]] => 25
[[[[[[]],[],[]]]]] => 23
[[[[[[]],[[]]]]]] => 24
[[[[[[],[]],[]]]]] => 24
[[[[[[[]]],[]]]]] => 25
[[[[[[],[],[]]]]]] => 25
[[[[[[],[[]]]]]]] => 26
[[[[[[[]],[]]]]]] => 26
[[[[[[[],[]]]]]]] => 27
[[[[[[[[]]]]]]]] => 28
[[],[],[],[],[],[],[],[]] => 8
[[],[],[],[],[],[],[[]]] => 9
[[],[],[],[],[],[[]],[]] => 9
[[],[],[],[],[],[[],[]]] => 10
[[],[],[],[],[],[[[]]]] => 11
[[],[],[],[],[[]],[],[]] => 9
[[],[],[],[],[[]],[[]]] => 10
[[],[],[],[],[[],[]],[]] => 10
[[],[],[],[],[[[]]],[]] => 11
[[],[],[],[],[[],[],[]]] => 11
[[],[],[],[],[[],[[]]]] => 12
[[],[],[],[],[[[]],[]]] => 12
[[],[],[],[],[[[],[]]]] => 13
[[],[],[],[],[[[[]]]]] => 14
[[],[],[],[[]],[],[],[]] => 9
[[],[],[],[[]],[],[[]]] => 10
[[],[],[],[[]],[[]],[]] => 10
[[],[],[],[[]],[[],[]]] => 11
[[],[],[],[[]],[[[]]]] => 12
[[],[],[],[[],[]],[],[]] => 10
[[],[],[],[[[]]],[],[]] => 11
[[],[],[],[[],[]],[[]]] => 11
[[],[],[],[[[]]],[[]]] => 12
[[],[],[],[[],[],[]],[]] => 11
[[],[],[],[[],[[]]],[]] => 12
[[],[],[],[[[]],[]],[]] => 12
[[],[],[],[[[],[]]],[]] => 13
[[],[],[],[[[[]]]],[]] => 14
[[],[],[],[[],[],[],[]]] => 12
[[],[],[],[[],[],[[]]]] => 13
[[],[],[],[[],[[]],[]]] => 13
[[],[],[],[[],[[],[]]]] => 14
[[],[],[],[[],[[[]]]]] => 15
[[],[],[],[[[]],[],[]]] => 13
[[],[],[],[[[]],[[]]]] => 14
[[],[],[],[[[],[]],[]]] => 14
[[],[],[],[[[[]]],[]]] => 15
[[],[],[],[[[],[],[]]]] => 15
[[],[],[],[[[],[[]]]]] => 16
[[],[],[],[[[[]],[]]]] => 16
[[],[],[],[[[[],[]]]]] => 17
[[],[],[],[[[[[]]]]]] => 18
[[],[],[[]],[],[],[],[]] => 9
[[],[],[[]],[],[],[[]]] => 10
[[],[],[[]],[],[[]],[]] => 10
[[],[],[[]],[],[[],[]]] => 11
[[],[],[[]],[],[[[]]]] => 12
[[],[],[[]],[[]],[],[]] => 10
[[],[],[[]],[[]],[[]]] => 11
[[],[],[[]],[[],[]],[]] => 11
[[],[],[[]],[[[]]],[]] => 12
[[],[],[[]],[[],[],[]]] => 12
[[],[],[[]],[[],[[]]]] => 13
[[],[],[[]],[[[]],[]]] => 13
[[],[],[[]],[[[],[]]]] => 14
[[],[],[[]],[[[[]]]]] => 15
[[],[],[[],[]],[],[],[]] => 10
[[],[],[[[]]],[],[],[]] => 11
[[],[],[[],[]],[],[[]]] => 11
[[],[],[[[]]],[],[[]]] => 12
[[],[],[[],[]],[[]],[]] => 11
[[],[],[[[]]],[[]],[]] => 12
[[],[],[[],[]],[[],[]]] => 12
[[],[],[[],[]],[[[]]]] => 13
[[],[],[[[]]],[[],[]]] => 13
[[],[],[[[]]],[[[]]]] => 14
[[],[],[[],[],[]],[],[]] => 11
[[],[],[[],[[]]],[],[]] => 12
[[],[],[[[]],[]],[],[]] => 12
[[],[],[[[],[]]],[],[]] => 13
[[],[],[[[[]]]],[],[]] => 14
[[],[],[[],[],[]],[[]]] => 12
[[],[],[[],[[]]],[[]]] => 13
[[],[],[[[]],[]],[[]]] => 13
[[],[],[[[],[]]],[[]]] => 14
[[],[],[[[[]]]],[[]]] => 15
[[],[],[[],[],[],[]],[]] => 12
[[],[],[[],[],[[]]],[]] => 13
[[],[],[[],[[]],[]],[]] => 13
[[],[],[[],[[],[]]],[]] => 14
[[],[],[[],[[[]]]],[]] => 15
[[],[],[[[]],[],[]],[]] => 13
[[],[],[[[]],[[]]],[]] => 14
[[],[],[[[],[]],[]],[]] => 14
[[],[],[[[[]]],[]],[]] => 15
[[],[],[[[],[],[]]],[]] => 15
[[],[],[[[],[[]]]],[]] => 16
[[],[],[[[[]],[]]],[]] => 16
[[],[],[[[[],[]]]],[]] => 17
[[],[],[[[[[]]]]],[]] => 18
[[],[],[[],[],[],[],[]]] => 13
[[],[],[[],[],[],[[]]]] => 14
[[],[],[[],[],[[]],[]]] => 14
[[],[],[[],[],[[],[]]]] => 15
[[],[],[[],[],[[[]]]]] => 16
[[],[],[[],[[]],[],[]]] => 14
[[],[],[[],[[]],[[]]]] => 15
[[],[],[[],[[],[]],[]]] => 15
[[],[],[[],[[[]]],[]]] => 16
[[],[],[[],[[],[],[]]]] => 16
[[],[],[[],[[],[[]]]]] => 17
[[],[],[[],[[[]],[]]]] => 17
[[],[],[[],[[[],[]]]]] => 18
[[],[],[[],[[[[]]]]]] => 19
[[],[],[[[]],[],[],[]]] => 14
[[],[],[[[]],[],[[]]]] => 15
[[],[],[[[]],[[]],[]]] => 15
[[],[],[[[]],[[],[]]]] => 16
[[],[],[[[]],[[[]]]]] => 17
[[],[],[[[],[]],[],[]]] => 15
[[],[],[[[[]]],[],[]]] => 16
[[],[],[[[],[]],[[]]]] => 16
[[],[],[[[[]]],[[]]]] => 17
[[],[],[[[],[],[]],[]]] => 16
[[],[],[[[],[[]]],[]]] => 17
[[],[],[[[[]],[]],[]]] => 17
[[],[],[[[[],[]]],[]]] => 18
[[],[],[[[[[]]]],[]]] => 19
[[],[],[[[],[],[],[]]]] => 17
[[],[],[[[],[],[[]]]]] => 18
[[],[],[[[],[[]],[]]]] => 18
[[],[],[[[],[[],[]]]]] => 19
[[],[],[[[],[[[]]]]]] => 20
[[],[],[[[[]],[],[]]]] => 18
[[],[],[[[[]],[[]]]]] => 19
[[],[],[[[[],[]],[]]]] => 19
[[],[],[[[[[]]],[]]]] => 20
[[],[],[[[[],[],[]]]]] => 20
[[],[],[[[[],[[]]]]]] => 21
[[],[],[[[[[]],[]]]]] => 21
[[],[],[[[[[],[]]]]]] => 22
[[],[],[[[[[[]]]]]]] => 23
[[],[[]],[],[],[],[],[]] => 9
[[],[[]],[],[],[],[[]]] => 10
[[],[[]],[],[],[[]],[]] => 10
[[],[[]],[],[],[[],[]]] => 11
[[],[[]],[],[],[[[]]]] => 12
[[],[[]],[],[[]],[],[]] => 10
[[],[[]],[],[[]],[[]]] => 11
[[],[[]],[],[[],[]],[]] => 11
[[],[[]],[],[[[]]],[]] => 12
[[],[[]],[],[[],[],[]]] => 12
[[],[[]],[],[[],[[]]]] => 13
[[],[[]],[],[[[]],[]]] => 13
[[],[[]],[],[[[],[]]]] => 14
[[],[[]],[],[[[[]]]]] => 15
[[],[[]],[[]],[],[],[]] => 10
[[],[[]],[[]],[],[[]]] => 11
[[],[[]],[[]],[[]],[]] => 11
[[],[[]],[[]],[[],[]]] => 12
[[],[[]],[[]],[[[]]]] => 13
[[],[[]],[[],[]],[],[]] => 11
[[],[[]],[[[]]],[],[]] => 12
[[],[[]],[[],[]],[[]]] => 12
[[],[[]],[[[]]],[[]]] => 13
[[],[[]],[[],[],[]],[]] => 12
[[],[[]],[[],[[]]],[]] => 13
[[],[[]],[[[]],[]],[]] => 13
[[],[[]],[[[],[]]],[]] => 14
[[],[[]],[[[[]]]],[]] => 15
[[],[[]],[[],[],[],[]]] => 13
[[],[[]],[[],[],[[]]]] => 14
[[],[[]],[[],[[]],[]]] => 14
[[],[[]],[[],[[],[]]]] => 15
[[],[[]],[[],[[[]]]]] => 16
[[],[[]],[[[]],[],[]]] => 14
[[],[[]],[[[]],[[]]]] => 15
[[],[[]],[[[],[]],[]]] => 15
[[],[[]],[[[[]]],[]]] => 16
[[],[[]],[[[],[],[]]]] => 16
[[],[[]],[[[],[[]]]]] => 17
[[],[[]],[[[[]],[]]]] => 17
[[],[[]],[[[[],[]]]]] => 18
[[],[[]],[[[[[]]]]]] => 19
[[],[[],[]],[],[],[],[]] => 10
[[],[[[]]],[],[],[],[]] => 11
[[],[[],[]],[],[],[[]]] => 11
[[],[[[]]],[],[],[[]]] => 12
[[],[[],[]],[],[[]],[]] => 11
[[],[[[]]],[],[[]],[]] => 12
[[],[[],[]],[],[[],[]]] => 12
[[],[[],[]],[],[[[]]]] => 13
[[],[[[]]],[],[[],[]]] => 13
[[],[[[]]],[],[[[]]]] => 14
[[],[[],[]],[[]],[],[]] => 11
[[],[[[]]],[[]],[],[]] => 12
[[],[[],[]],[[]],[[]]] => 12
[[],[[[]]],[[]],[[]]] => 13
[[],[[],[]],[[],[]],[]] => 12
[[],[[],[]],[[[]]],[]] => 13
[[],[[[]]],[[],[]],[]] => 13
[[],[[[]]],[[[]]],[]] => 14
[[],[[],[]],[[],[],[]]] => 13
[[],[[],[]],[[],[[]]]] => 14
[[],[[],[]],[[[]],[]]] => 14
[[],[[],[]],[[[],[]]]] => 15
[[],[[],[]],[[[[]]]]] => 16
[[],[[[]]],[[],[],[]]] => 14
[[],[[[]]],[[],[[]]]] => 15
[[],[[[]]],[[[]],[]]] => 15
[[],[[[]]],[[[],[]]]] => 16
[[],[[[]]],[[[[]]]]] => 17
[[],[[],[],[]],[],[],[]] => 11
[[],[[],[[]]],[],[],[]] => 12
[[],[[[]],[]],[],[],[]] => 12
[[],[[[],[]]],[],[],[]] => 13
[[],[[[[]]]],[],[],[]] => 14
[[],[[],[],[]],[],[[]]] => 12
[[],[[],[[]]],[],[[]]] => 13
[[],[[[]],[]],[],[[]]] => 13
[[],[[[],[]]],[],[[]]] => 14
[[],[[[[]]]],[],[[]]] => 15
[[],[[],[],[]],[[]],[]] => 12
[[],[[],[[]]],[[]],[]] => 13
[[],[[[]],[]],[[]],[]] => 13
[[],[[[],[]]],[[]],[]] => 14
[[],[[[[]]]],[[]],[]] => 15
[[],[[],[],[]],[[],[]]] => 13
[[],[[],[],[]],[[[]]]] => 14
[[],[[],[[]]],[[],[]]] => 14
[[],[[],[[]]],[[[]]]] => 15
[[],[[[]],[]],[[],[]]] => 14
[[],[[[]],[]],[[[]]]] => 15
[[],[[[],[]]],[[],[]]] => 15
[[],[[[],[]]],[[[]]]] => 16
[[],[[[[]]]],[[],[]]] => 16
[[],[[[[]]]],[[[]]]] => 17
[[],[[],[],[],[]],[],[]] => 12
[[],[[],[],[[]]],[],[]] => 13
[[],[[],[[]],[]],[],[]] => 13
[[],[[],[[],[]]],[],[]] => 14
[[],[[],[[[]]]],[],[]] => 15
[[],[[[]],[],[]],[],[]] => 13
[[],[[[]],[[]]],[],[]] => 14
[[],[[[],[]],[]],[],[]] => 14
[[],[[[[]]],[]],[],[]] => 15
[[],[[[],[],[]]],[],[]] => 15
[[],[[[],[[]]]],[],[]] => 16
[[],[[[[]],[]]],[],[]] => 16
[[],[[[[],[]]]],[],[]] => 17
[[],[[[[[]]]]],[],[]] => 18
[[],[[],[],[],[]],[[]]] => 13
[[],[[],[],[[]]],[[]]] => 14
[[],[[],[[]],[]],[[]]] => 14
[[],[[],[[],[]]],[[]]] => 15
[[],[[],[[[]]]],[[]]] => 16
[[],[[[]],[],[]],[[]]] => 14
[[],[[[]],[[]]],[[]]] => 15
[[],[[[],[]],[]],[[]]] => 15
[[],[[[[]]],[]],[[]]] => 16
[[],[[[],[],[]]],[[]]] => 16
[[],[[[],[[]]]],[[]]] => 17
[[],[[[[]],[]]],[[]]] => 17
[[],[[[[],[]]]],[[]]] => 18
[[],[[[[[]]]]],[[]]] => 19
[[],[[],[],[],[],[]],[]] => 13
[[],[[],[],[],[[]]],[]] => 14
[[],[[],[],[[]],[]],[]] => 14
[[],[[],[],[[],[]]],[]] => 15
[[],[[],[],[[[]]]],[]] => 16
[[],[[],[[]],[],[]],[]] => 14
[[],[[],[[]],[[]]],[]] => 15
[[],[[],[[],[]],[]],[]] => 15
[[],[[],[[[]]],[]],[]] => 16
[[],[[],[[],[],[]]],[]] => 16
[[],[[],[[],[[]]]],[]] => 17
[[],[[],[[[]],[]]],[]] => 17
[[],[[],[[[],[]]]],[]] => 18
[[],[[],[[[[]]]]],[]] => 19
[[],[[[]],[],[],[]],[]] => 14
[[],[[[]],[],[[]]],[]] => 15
[[],[[[]],[[]],[]],[]] => 15
[[],[[[]],[[],[]]],[]] => 16
[[],[[[]],[[[]]]],[]] => 17
[[],[[[],[]],[],[]],[]] => 15
[[],[[[[]]],[],[]],[]] => 16
[[],[[[],[]],[[]]],[]] => 16
[[],[[[[]]],[[]]],[]] => 17
[[],[[[],[],[]],[]],[]] => 16
[[],[[[],[[]]],[]],[]] => 17
[[],[[[[]],[]],[]],[]] => 17
[[],[[[[],[]]],[]],[]] => 18
[[],[[[[[]]]],[]],[]] => 19
[[],[[[],[],[],[]]],[]] => 17
[[],[[[],[],[[]]]],[]] => 18
[[],[[[],[[]],[]]],[]] => 18
[[],[[[],[[],[]]]],[]] => 19
[[],[[[],[[[]]]]],[]] => 20
[[],[[[[]],[],[]]],[]] => 18
[[],[[[[]],[[]]]],[]] => 19
[[],[[[[],[]],[]]],[]] => 19
[[],[[[[[]]],[]]],[]] => 20
[[],[[[[],[],[]]]],[]] => 20
[[],[[[[],[[]]]]],[]] => 21
[[],[[[[[]],[]]]],[]] => 21
[[],[[[[[],[]]]]],[]] => 22
[[],[[[[[[]]]]]],[]] => 23
[[],[[],[],[],[],[],[]]] => 14
[[],[[],[],[],[],[[]]]] => 15
[[],[[],[],[],[[]],[]]] => 15
[[],[[],[],[],[[],[]]]] => 16
[[],[[],[],[],[[[]]]]] => 17
[[],[[],[],[[]],[],[]]] => 15
[[],[[],[],[[]],[[]]]] => 16
[[],[[],[],[[],[]],[]]] => 16
[[],[[],[],[[[]]],[]]] => 17
[[],[[],[],[[],[],[]]]] => 17
[[],[[],[],[[],[[]]]]] => 18
[[],[[],[],[[[]],[]]]] => 18
[[],[[],[],[[[],[]]]]] => 19
[[],[[],[],[[[[]]]]]] => 20
[[],[[],[[]],[],[],[]]] => 15
[[],[[],[[]],[],[[]]]] => 16
[[],[[],[[]],[[]],[]]] => 16
[[],[[],[[]],[[],[]]]] => 17
[[],[[],[[]],[[[]]]]] => 18
[[],[[],[[],[]],[],[]]] => 16
[[],[[],[[[]]],[],[]]] => 17
[[],[[],[[],[]],[[]]]] => 17
[[],[[],[[[]]],[[]]]] => 18
[[],[[],[[],[],[]],[]]] => 17
[[],[[],[[],[[]]],[]]] => 18
[[],[[],[[[]],[]],[]]] => 18
[[],[[],[[[],[]]],[]]] => 19
[[],[[],[[[[]]]],[]]] => 20
[[],[[],[[],[],[],[]]]] => 18
[[],[[],[[],[],[[]]]]] => 19
[[],[[],[[],[[]],[]]]] => 19
[[],[[],[[],[[],[]]]]] => 20
[[],[[],[[],[[[]]]]]] => 21
[[],[[],[[[]],[],[]]]] => 19
[[],[[],[[[]],[[]]]]] => 20
[[],[[],[[[],[]],[]]]] => 20
[[],[[],[[[[]]],[]]]] => 21
[[],[[],[[[],[],[]]]]] => 21
[[],[[],[[[],[[]]]]]] => 22
[[],[[],[[[[]],[]]]]] => 22
[[],[[],[[[[],[]]]]]] => 23
[[],[[],[[[[[]]]]]]] => 24
[[],[[[]],[],[],[],[]]] => 15
[[],[[[]],[],[],[[]]]] => 16
[[],[[[]],[],[[]],[]]] => 16
[[],[[[]],[],[[],[]]]] => 17
[[],[[[]],[],[[[]]]]] => 18
[[],[[[]],[[]],[],[]]] => 16
[[],[[[]],[[]],[[]]]] => 17
[[],[[[]],[[],[]],[]]] => 17
[[],[[[]],[[[]]],[]]] => 18
[[],[[[]],[[],[],[]]]] => 18
[[],[[[]],[[],[[]]]]] => 19
[[],[[[]],[[[]],[]]]] => 19
[[],[[[]],[[[],[]]]]] => 20
[[],[[[]],[[[[]]]]]] => 21
[[],[[[],[]],[],[],[]]] => 16
[[],[[[[]]],[],[],[]]] => 17
[[],[[[],[]],[],[[]]]] => 17
[[],[[[[]]],[],[[]]]] => 18
[[],[[[],[]],[[]],[]]] => 17
[[],[[[[]]],[[]],[]]] => 18
[[],[[[],[]],[[],[]]]] => 18
[[],[[[],[]],[[[]]]]] => 19
[[],[[[[]]],[[],[]]]] => 19
[[],[[[[]]],[[[]]]]] => 20
[[],[[[],[],[]],[],[]]] => 17
[[],[[[],[[]]],[],[]]] => 18
[[],[[[[]],[]],[],[]]] => 18
[[],[[[[],[]]],[],[]]] => 19
[[],[[[[[]]]],[],[]]] => 20
[[],[[[],[],[]],[[]]]] => 18
[[],[[[],[[]]],[[]]]] => 19
[[],[[[[]],[]],[[]]]] => 19
[[],[[[[],[]]],[[]]]] => 20
[[],[[[[[]]]],[[]]]] => 21
[[],[[[],[],[],[]],[]]] => 18
[[],[[[],[],[[]]],[]]] => 19
[[],[[[],[[]],[]],[]]] => 19
[[],[[[],[[],[]]],[]]] => 20
[[],[[[],[[[]]]],[]]] => 21
[[],[[[[]],[],[]],[]]] => 19
[[],[[[[]],[[]]],[]]] => 20
[[],[[[[],[]],[]],[]]] => 20
[[],[[[[[]]],[]],[]]] => 21
[[],[[[[],[],[]]],[]]] => 21
[[],[[[[],[[]]]],[]]] => 22
[[],[[[[[]],[]]],[]]] => 22
[[],[[[[[],[]]]],[]]] => 23
[[],[[[[[[]]]]],[]]] => 24
[[],[[[],[],[],[],[]]]] => 19
[[],[[[],[],[],[[]]]]] => 20
[[],[[[],[],[[]],[]]]] => 20
[[],[[[],[],[[],[]]]]] => 21
[[],[[[],[],[[[]]]]]] => 22
[[],[[[],[[]],[],[]]]] => 20
[[],[[[],[[]],[[]]]]] => 21
[[],[[[],[[],[]],[]]]] => 21
[[],[[[],[[[]]],[]]]] => 22
[[],[[[],[[],[],[]]]]] => 22
[[],[[[],[[],[[]]]]]] => 23
[[],[[[],[[[]],[]]]]] => 23
[[],[[[],[[[],[]]]]]] => 24
[[],[[[],[[[[]]]]]]] => 25
[[],[[[[]],[],[],[]]]] => 20
[[],[[[[]],[],[[]]]]] => 21
[[],[[[[]],[[]],[]]]] => 21
[[],[[[[]],[[],[]]]]] => 22
[[],[[[[]],[[[]]]]]] => 23
[[],[[[[],[]],[],[]]]] => 21
[[],[[[[[]]],[],[]]]] => 22
[[],[[[[],[]],[[]]]]] => 22
[[],[[[[[]]],[[]]]]] => 23
[[],[[[[],[],[]],[]]]] => 22
[[],[[[[],[[]]],[]]]] => 23
[[],[[[[[]],[]],[]]]] => 23
[[],[[[[[],[]]],[]]]] => 24
[[],[[[[[[]]]],[]]]] => 25
[[],[[[[],[],[],[]]]]] => 23
[[],[[[[],[],[[]]]]]] => 24
[[],[[[[],[[]],[]]]]] => 24
[[],[[[[],[[],[]]]]]] => 25
[[],[[[[],[[[]]]]]]] => 26
[[],[[[[[]],[],[]]]]] => 24
[[],[[[[[]],[[]]]]]] => 25
[[],[[[[[],[]],[]]]]] => 25
[[],[[[[[[]]],[]]]]] => 26
[[],[[[[[],[],[]]]]]] => 26
[[],[[[[[],[[]]]]]]] => 27
[[],[[[[[[]],[]]]]]] => 27
[[],[[[[[[],[]]]]]]] => 28
[[],[[[[[[[]]]]]]]] => 29
[[[]],[],[],[],[],[],[]] => 9
[[[]],[],[],[],[],[[]]] => 10
[[[]],[],[],[],[[]],[]] => 10
[[[]],[],[],[],[[],[]]] => 11
[[[]],[],[],[],[[[]]]] => 12
[[[]],[],[],[[]],[],[]] => 10
[[[]],[],[],[[]],[[]]] => 11
[[[]],[],[],[[],[]],[]] => 11
[[[]],[],[],[[[]]],[]] => 12
[[[]],[],[],[[],[],[]]] => 12
[[[]],[],[],[[],[[]]]] => 13
[[[]],[],[],[[[]],[]]] => 13
[[[]],[],[],[[[],[]]]] => 14
[[[]],[],[],[[[[]]]]] => 15
[[[]],[],[[]],[],[],[]] => 10
[[[]],[],[[]],[],[[]]] => 11
[[[]],[],[[]],[[]],[]] => 11
[[[]],[],[[]],[[],[]]] => 12
[[[]],[],[[]],[[[]]]] => 13
[[[]],[],[[],[]],[],[]] => 11
[[[]],[],[[[]]],[],[]] => 12
[[[]],[],[[],[]],[[]]] => 12
[[[]],[],[[[]]],[[]]] => 13
[[[]],[],[[],[],[]],[]] => 12
[[[]],[],[[],[[]]],[]] => 13
[[[]],[],[[[]],[]],[]] => 13
[[[]],[],[[[],[]]],[]] => 14
[[[]],[],[[[[]]]],[]] => 15
[[[]],[],[[],[],[],[]]] => 13
[[[]],[],[[],[],[[]]]] => 14
[[[]],[],[[],[[]],[]]] => 14
[[[]],[],[[],[[],[]]]] => 15
[[[]],[],[[],[[[]]]]] => 16
[[[]],[],[[[]],[],[]]] => 14
[[[]],[],[[[]],[[]]]] => 15
[[[]],[],[[[],[]],[]]] => 15
[[[]],[],[[[[]]],[]]] => 16
[[[]],[],[[[],[],[]]]] => 16
[[[]],[],[[[],[[]]]]] => 17
[[[]],[],[[[[]],[]]]] => 17
[[[]],[],[[[[],[]]]]] => 18
[[[]],[],[[[[[]]]]]] => 19
[[[]],[[]],[],[],[],[]] => 10
[[[]],[[]],[],[],[[]]] => 11
[[[]],[[]],[],[[]],[]] => 11
[[[]],[[]],[],[[],[]]] => 12
[[[]],[[]],[],[[[]]]] => 13
[[[]],[[]],[[]],[],[]] => 11
[[[]],[[]],[[]],[[]]] => 12
[[[]],[[]],[[],[]],[]] => 12
[[[]],[[]],[[[]]],[]] => 13
[[[]],[[]],[[],[],[]]] => 13
[[[]],[[]],[[],[[]]]] => 14
[[[]],[[]],[[[]],[]]] => 14
[[[]],[[]],[[[],[]]]] => 15
[[[]],[[]],[[[[]]]]] => 16
[[[]],[[],[]],[],[],[]] => 11
[[[]],[[[]]],[],[],[]] => 12
[[[]],[[],[]],[],[[]]] => 12
[[[]],[[[]]],[],[[]]] => 13
[[[]],[[],[]],[[]],[]] => 12
[[[]],[[[]]],[[]],[]] => 13
[[[]],[[],[]],[[],[]]] => 13
[[[]],[[],[]],[[[]]]] => 14
[[[]],[[[]]],[[],[]]] => 14
[[[]],[[[]]],[[[]]]] => 15
[[[]],[[],[],[]],[],[]] => 12
[[[]],[[],[[]]],[],[]] => 13
[[[]],[[[]],[]],[],[]] => 13
[[[]],[[[],[]]],[],[]] => 14
[[[]],[[[[]]]],[],[]] => 15
[[[]],[[],[],[]],[[]]] => 13
[[[]],[[],[[]]],[[]]] => 14
[[[]],[[[]],[]],[[]]] => 14
[[[]],[[[],[]]],[[]]] => 15
[[[]],[[[[]]]],[[]]] => 16
[[[]],[[],[],[],[]],[]] => 13
[[[]],[[],[],[[]]],[]] => 14
[[[]],[[],[[]],[]],[]] => 14
[[[]],[[],[[],[]]],[]] => 15
[[[]],[[],[[[]]]],[]] => 16
[[[]],[[[]],[],[]],[]] => 14
[[[]],[[[]],[[]]],[]] => 15
[[[]],[[[],[]],[]],[]] => 15
[[[]],[[[[]]],[]],[]] => 16
[[[]],[[[],[],[]]],[]] => 16
[[[]],[[[],[[]]]],[]] => 17
[[[]],[[[[]],[]]],[]] => 17
[[[]],[[[[],[]]]],[]] => 18
[[[]],[[[[[]]]]],[]] => 19
[[[]],[[],[],[],[],[]]] => 14
[[[]],[[],[],[],[[]]]] => 15
[[[]],[[],[],[[]],[]]] => 15
[[[]],[[],[],[[],[]]]] => 16
[[[]],[[],[],[[[]]]]] => 17
[[[]],[[],[[]],[],[]]] => 15
[[[]],[[],[[]],[[]]]] => 16
[[[]],[[],[[],[]],[]]] => 16
[[[]],[[],[[[]]],[]]] => 17
[[[]],[[],[[],[],[]]]] => 17
[[[]],[[],[[],[[]]]]] => 18
[[[]],[[],[[[]],[]]]] => 18
[[[]],[[],[[[],[]]]]] => 19
[[[]],[[],[[[[]]]]]] => 20
[[[]],[[[]],[],[],[]]] => 15
[[[]],[[[]],[],[[]]]] => 16
[[[]],[[[]],[[]],[]]] => 16
[[[]],[[[]],[[],[]]]] => 17
[[[]],[[[]],[[[]]]]] => 18
[[[]],[[[],[]],[],[]]] => 16
[[[]],[[[[]]],[],[]]] => 17
[[[]],[[[],[]],[[]]]] => 17
[[[]],[[[[]]],[[]]]] => 18
[[[]],[[[],[],[]],[]]] => 17
[[[]],[[[],[[]]],[]]] => 18
[[[]],[[[[]],[]],[]]] => 18
[[[]],[[[[],[]]],[]]] => 19
[[[]],[[[[[]]]],[]]] => 20
[[[]],[[[],[],[],[]]]] => 18
[[[]],[[[],[],[[]]]]] => 19
[[[]],[[[],[[]],[]]]] => 19
[[[]],[[[],[[],[]]]]] => 20
[[[]],[[[],[[[]]]]]] => 21
[[[]],[[[[]],[],[]]]] => 19
[[[]],[[[[]],[[]]]]] => 20
[[[]],[[[[],[]],[]]]] => 20
[[[]],[[[[[]]],[]]]] => 21
[[[]],[[[[],[],[]]]]] => 21
[[[]],[[[[],[[]]]]]] => 22
[[[]],[[[[[]],[]]]]] => 22
[[[]],[[[[[],[]]]]]] => 23
[[[]],[[[[[[]]]]]]] => 24
[[[],[]],[],[],[],[],[]] => 10
[[[[]]],[],[],[],[],[]] => 11
[[[],[]],[],[],[],[[]]] => 11
[[[[]]],[],[],[],[[]]] => 12
[[[],[]],[],[],[[]],[]] => 11
[[[[]]],[],[],[[]],[]] => 12
[[[],[]],[],[],[[],[]]] => 12
[[[],[]],[],[],[[[]]]] => 13
[[[[]]],[],[],[[],[]]] => 13
[[[[]]],[],[],[[[]]]] => 14
[[[],[]],[],[[]],[],[]] => 11
[[[[]]],[],[[]],[],[]] => 12
[[[],[]],[],[[]],[[]]] => 12
[[[[]]],[],[[]],[[]]] => 13
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
Generating function
click to show known generating functions
Search the OEIS for these generating functions
Search the Online Encyclopedia of Integer
Sequences for the coefficients of a few of the
first generating functions, in the case at hand:
1,1 1,2,1,1 1,3,3,3,2,1,1 1,4,6,7,7,5,5,3,2,1,1 1,5,10,14,17,16,16,14,11,9,7,5,3,2,1,1 1,6,15,25,35,40,43,44,40,37,32,28,22,18,13,11,7,5,3,2,1,1
$F_{2} = q$
$F_{3} = q^{2} + q^{3}$
$F_{4} = q^{3} + 2\ q^{4} + q^{5} + q^{6}$
$F_{5} = q^{4} + 3\ q^{5} + 3\ q^{6} + 3\ q^{7} + 2\ q^{8} + q^{9} + q^{10}$
$F_{6} = q^{5} + 4\ q^{6} + 6\ q^{7} + 7\ q^{8} + 7\ q^{9} + 5\ q^{10} + 5\ q^{11} + 3\ q^{12} + 2\ q^{13} + q^{14} + q^{15}$
$F_{7} = q^{6} + 5\ q^{7} + 10\ q^{8} + 14\ q^{9} + 17\ q^{10} + 16\ q^{11} + 16\ q^{12} + 14\ q^{13} + 11\ q^{14} + 9\ q^{15} + 7\ q^{16} + 5\ q^{17} + 3\ q^{18} + 2\ q^{19} + q^{20} + q^{21}$
$F_{8} = q^{7} + 6\ q^{8} + 15\ q^{9} + 25\ q^{10} + 35\ q^{11} + 40\ q^{12} + 43\ q^{13} + 44\ q^{14} + 40\ q^{15} + 37\ q^{16} + 32\ q^{17} + 28\ q^{18} + 22\ q^{19} + 18\ q^{20} + 13\ q^{21} + 11\ q^{22} + 7\ q^{23} + 5\ q^{24} + 3\ q^{25} + 2\ q^{26} + q^{27} + q^{28}$
Description
The path length of an ordered tree.
This is the sum of the lengths of all paths from the root to a node, see Section 2.3.4.5 of [1].
This is the sum of the lengths of all paths from the root to a node, see Section 2.3.4.5 of [1].
References
[1] Knuth, D. E. The art of computer programming. Vol. 1 MathSciNet:3077152
Code
def statistic(T):
return path_length_aux(T, 0)
def path_length_aux(T, n):
return n+sum(path_length_aux(S, n+1) for S in T if not S.is_empty())
Created
Feb 22, 2016 at 16:19 by Martin Rubey
Updated
Feb 22, 2016 at 16:19 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!