Identifier
- St000700: Ordered trees ⟶ ℤ
Values
=>
Cc0021;cc-rep
[[]]=>1
[[],[]]=>1
[[[]]]=>2
[[],[],[]]=>1
[[],[[]]]=>1
[[[]],[]]=>1
[[[],[]]]=>2
[[[[]]]]=>3
[[],[],[],[]]=>1
[[],[],[[]]]=>1
[[],[[]],[]]=>1
[[],[[],[]]]=>1
[[],[[[]]]]=>1
[[[]],[],[]]=>1
[[[]],[[]]]=>2
[[[],[]],[]]=>1
[[[[]]],[]]=>1
[[[],[],[]]]=>2
[[[],[[]]]]=>2
[[[[]],[]]]=>2
[[[[],[]]]]=>3
[[[[[]]]]]=>4
[[],[],[],[],[]]=>1
[[],[],[],[[]]]=>1
[[],[],[[]],[]]=>1
[[],[],[[],[]]]=>1
[[],[],[[[]]]]=>1
[[],[[]],[],[]]=>1
[[],[[]],[[]]]=>1
[[],[[],[]],[]]=>1
[[],[[[]]],[]]=>1
[[],[[],[],[]]]=>1
[[],[[],[[]]]]=>1
[[],[[[]],[]]]=>1
[[],[[[],[]]]]=>1
[[],[[[[]]]]]=>1
[[[]],[],[],[]]=>1
[[[]],[],[[]]]=>1
[[[]],[[]],[]]=>1
[[[]],[[],[]]]=>2
[[[]],[[[]]]]=>2
[[[],[]],[],[]]=>1
[[[[]]],[],[]]=>1
[[[],[]],[[]]]=>2
[[[[]]],[[]]]=>2
[[[],[],[]],[]]=>1
[[[],[[]]],[]]=>1
[[[[]],[]],[]]=>1
[[[[],[]]],[]]=>1
[[[[[]]]],[]]=>1
[[[],[],[],[]]]=>2
[[[],[],[[]]]]=>2
[[[],[[]],[]]]=>2
[[[],[[],[]]]]=>2
[[[],[[[]]]]]=>2
[[[[]],[],[]]]=>2
[[[[]],[[]]]]=>3
[[[[],[]],[]]]=>2
[[[[[]]],[]]]=>2
[[[[],[],[]]]]=>3
[[[[],[[]]]]]=>3
[[[[[]],[]]]]=>3
[[[[[],[]]]]]=>4
[[[[[[]]]]]]=>5
[[],[],[],[],[],[]]=>1
[[],[],[],[],[[]]]=>1
[[],[],[],[[]],[]]=>1
[[],[],[],[[],[]]]=>1
[[],[],[],[[[]]]]=>1
[[],[],[[]],[],[]]=>1
[[],[],[[]],[[]]]=>1
[[],[],[[],[]],[]]=>1
[[],[],[[[]]],[]]=>1
[[],[],[[],[],[]]]=>1
[[],[],[[],[[]]]]=>1
[[],[],[[[]],[]]]=>1
[[],[],[[[],[]]]]=>1
[[],[],[[[[]]]]]=>1
[[],[[]],[],[],[]]=>1
[[],[[]],[],[[]]]=>1
[[],[[]],[[]],[]]=>1
[[],[[]],[[],[]]]=>1
[[],[[]],[[[]]]]=>1
[[],[[],[]],[],[]]=>1
[[],[[[]]],[],[]]=>1
[[],[[],[]],[[]]]=>1
[[],[[[]]],[[]]]=>1
[[],[[],[],[]],[]]=>1
[[],[[],[[]]],[]]=>1
[[],[[[]],[]],[]]=>1
[[],[[[],[]]],[]]=>1
[[],[[[[]]]],[]]=>1
[[],[[],[],[],[]]]=>1
[[],[[],[],[[]]]]=>1
[[],[[],[[]],[]]]=>1
[[],[[],[[],[]]]]=>1
[[],[[],[[[]]]]]=>1
[[],[[[]],[],[]]]=>1
[[],[[[]],[[]]]]=>1
[[],[[[],[]],[]]]=>1
[[],[[[[]]],[]]]=>1
[[],[[[],[],[]]]]=>1
[[],[[[],[[]]]]]=>1
[[],[[[[]],[]]]]=>1
[[],[[[[],[]]]]]=>1
[[],[[[[[]]]]]]=>1
[[[]],[],[],[],[]]=>1
[[[]],[],[],[[]]]=>1
[[[]],[],[[]],[]]=>1
[[[]],[],[[],[]]]=>1
[[[]],[],[[[]]]]=>1
[[[]],[[]],[],[]]=>1
[[[]],[[]],[[]]]=>2
[[[]],[[],[]],[]]=>1
[[[]],[[[]]],[]]=>1
[[[]],[[],[],[]]]=>2
[[[]],[[],[[]]]]=>2
[[[]],[[[]],[]]]=>2
[[[]],[[[],[]]]]=>2
[[[]],[[[[]]]]]=>2
[[[],[]],[],[],[]]=>1
[[[[]]],[],[],[]]=>1
[[[],[]],[],[[]]]=>1
[[[[]]],[],[[]]]=>1
[[[],[]],[[]],[]]=>1
[[[[]]],[[]],[]]=>1
[[[],[]],[[],[]]]=>2
[[[],[]],[[[]]]]=>2
[[[[]]],[[],[]]]=>2
[[[[]]],[[[]]]]=>3
[[[],[],[]],[],[]]=>1
[[[],[[]]],[],[]]=>1
[[[[]],[]],[],[]]=>1
[[[[],[]]],[],[]]=>1
[[[[[]]]],[],[]]=>1
[[[],[],[]],[[]]]=>2
[[[],[[]]],[[]]]=>2
[[[[]],[]],[[]]]=>2
[[[[],[]]],[[]]]=>2
[[[[[]]]],[[]]]=>2
[[[],[],[],[]],[]]=>1
[[[],[],[[]]],[]]=>1
[[[],[[]],[]],[]]=>1
[[[],[[],[]]],[]]=>1
[[[],[[[]]]],[]]=>1
[[[[]],[],[]],[]]=>1
[[[[]],[[]]],[]]=>1
[[[[],[]],[]],[]]=>1
[[[[[]]],[]],[]]=>1
[[[[],[],[]]],[]]=>1
[[[[],[[]]]],[]]=>1
[[[[[]],[]]],[]]=>1
[[[[[],[]]]],[]]=>1
[[[[[[]]]]],[]]=>1
[[[],[],[],[],[]]]=>2
[[[],[],[],[[]]]]=>2
[[[],[],[[]],[]]]=>2
[[[],[],[[],[]]]]=>2
[[[],[],[[[]]]]]=>2
[[[],[[]],[],[]]]=>2
[[[],[[]],[[]]]]=>2
[[[],[[],[]],[]]]=>2
[[[],[[[]]],[]]]=>2
[[[],[[],[],[]]]]=>2
[[[],[[],[[]]]]]=>2
[[[],[[[]],[]]]]=>2
[[[],[[[],[]]]]]=>2
[[[],[[[[]]]]]]=>2
[[[[]],[],[],[]]]=>2
[[[[]],[],[[]]]]=>2
[[[[]],[[]],[]]]=>2
[[[[]],[[],[]]]]=>3
[[[[]],[[[]]]]]=>3
[[[[],[]],[],[]]]=>2
[[[[[]]],[],[]]]=>2
[[[[],[]],[[]]]]=>3
[[[[[]]],[[]]]]=>3
[[[[],[],[]],[]]]=>2
[[[[],[[]]],[]]]=>2
[[[[[]],[]],[]]]=>2
[[[[[],[]]],[]]]=>2
[[[[[[]]]],[]]]=>2
[[[[],[],[],[]]]]=>3
[[[[],[],[[]]]]]=>3
[[[[],[[]],[]]]]=>3
[[[[],[[],[]]]]]=>3
[[[[],[[[]]]]]]=>3
[[[[[]],[],[]]]]=>3
[[[[[]],[[]]]]]=>4
[[[[[],[]],[]]]]=>3
[[[[[[]]],[]]]]=>3
[[[[[],[],[]]]]]=>4
[[[[[],[[]]]]]]=>4
[[[[[[]],[]]]]]=>4
[[[[[[],[]]]]]]=>5
[[[[[[[]]]]]]]=>6
[[],[],[],[],[],[],[]]=>1
[[],[],[],[],[],[[]]]=>1
[[],[],[],[],[[]],[]]=>1
[[],[],[],[],[[],[]]]=>1
[[],[],[],[],[[[]]]]=>1
[[],[],[],[[]],[],[]]=>1
[[],[],[],[[]],[[]]]=>1
[[],[],[],[[],[]],[]]=>1
[[],[],[],[[[]]],[]]=>1
[[],[],[],[[],[],[]]]=>1
[[],[],[],[[],[[]]]]=>1
[[],[],[],[[[]],[]]]=>1
[[],[],[],[[[],[]]]]=>1
[[],[],[],[[[[]]]]]=>1
[[],[],[[]],[],[],[]]=>1
[[],[],[[]],[],[[]]]=>1
[[],[],[[]],[[]],[]]=>1
[[],[],[[]],[[],[]]]=>1
[[],[],[[]],[[[]]]]=>1
[[],[],[[],[]],[],[]]=>1
[[],[],[[[]]],[],[]]=>1
[[],[],[[],[]],[[]]]=>1
[[],[],[[[]]],[[]]]=>1
[[],[],[[],[],[]],[]]=>1
[[],[],[[],[[]]],[]]=>1
[[],[],[[[]],[]],[]]=>1
[[],[],[[[],[]]],[]]=>1
[[],[],[[[[]]]],[]]=>1
[[],[],[[],[],[],[]]]=>1
[[],[],[[],[],[[]]]]=>1
[[],[],[[],[[]],[]]]=>1
[[],[],[[],[[],[]]]]=>1
[[],[],[[],[[[]]]]]=>1
[[],[],[[[]],[],[]]]=>1
[[],[],[[[]],[[]]]]=>1
[[],[],[[[],[]],[]]]=>1
[[],[],[[[[]]],[]]]=>1
[[],[],[[[],[],[]]]]=>1
[[],[],[[[],[[]]]]]=>1
[[],[],[[[[]],[]]]]=>1
[[],[],[[[[],[]]]]]=>1
[[],[],[[[[[]]]]]]=>1
[[],[[]],[],[],[],[]]=>1
[[],[[]],[],[],[[]]]=>1
[[],[[]],[],[[]],[]]=>1
[[],[[]],[],[[],[]]]=>1
[[],[[]],[],[[[]]]]=>1
[[],[[]],[[]],[],[]]=>1
[[],[[]],[[]],[[]]]=>1
[[],[[]],[[],[]],[]]=>1
[[],[[]],[[[]]],[]]=>1
[[],[[]],[[],[],[]]]=>1
[[],[[]],[[],[[]]]]=>1
[[],[[]],[[[]],[]]]=>1
[[],[[]],[[[],[]]]]=>1
[[],[[]],[[[[]]]]]=>1
[[],[[],[]],[],[],[]]=>1
[[],[[[]]],[],[],[]]=>1
[[],[[],[]],[],[[]]]=>1
[[],[[[]]],[],[[]]]=>1
[[],[[],[]],[[]],[]]=>1
[[],[[[]]],[[]],[]]=>1
[[],[[],[]],[[],[]]]=>1
[[],[[],[]],[[[]]]]=>1
[[],[[[]]],[[],[]]]=>1
[[],[[[]]],[[[]]]]=>1
[[],[[],[],[]],[],[]]=>1
[[],[[],[[]]],[],[]]=>1
[[],[[[]],[]],[],[]]=>1
[[],[[[],[]]],[],[]]=>1
[[],[[[[]]]],[],[]]=>1
[[],[[],[],[]],[[]]]=>1
[[],[[],[[]]],[[]]]=>1
[[],[[[]],[]],[[]]]=>1
[[],[[[],[]]],[[]]]=>1
[[],[[[[]]]],[[]]]=>1
[[],[[],[],[],[]],[]]=>1
[[],[[],[],[[]]],[]]=>1
[[],[[],[[]],[]],[]]=>1
[[],[[],[[],[]]],[]]=>1
[[],[[],[[[]]]],[]]=>1
[[],[[[]],[],[]],[]]=>1
[[],[[[]],[[]]],[]]=>1
[[],[[[],[]],[]],[]]=>1
[[],[[[[]]],[]],[]]=>1
[[],[[[],[],[]]],[]]=>1
[[],[[[],[[]]]],[]]=>1
[[],[[[[]],[]]],[]]=>1
[[],[[[[],[]]]],[]]=>1
[[],[[[[[]]]]],[]]=>1
[[],[[],[],[],[],[]]]=>1
[[],[[],[],[],[[]]]]=>1
[[],[[],[],[[]],[]]]=>1
[[],[[],[],[[],[]]]]=>1
[[],[[],[],[[[]]]]]=>1
[[],[[],[[]],[],[]]]=>1
[[],[[],[[]],[[]]]]=>1
[[],[[],[[],[]],[]]]=>1
[[],[[],[[[]]],[]]]=>1
[[],[[],[[],[],[]]]]=>1
[[],[[],[[],[[]]]]]=>1
[[],[[],[[[]],[]]]]=>1
[[],[[],[[[],[]]]]]=>1
[[],[[],[[[[]]]]]]=>1
[[],[[[]],[],[],[]]]=>1
[[],[[[]],[],[[]]]]=>1
[[],[[[]],[[]],[]]]=>1
[[],[[[]],[[],[]]]]=>1
[[],[[[]],[[[]]]]]=>1
[[],[[[],[]],[],[]]]=>1
[[],[[[[]]],[],[]]]=>1
[[],[[[],[]],[[]]]]=>1
[[],[[[[]]],[[]]]]=>1
[[],[[[],[],[]],[]]]=>1
[[],[[[],[[]]],[]]]=>1
[[],[[[[]],[]],[]]]=>1
[[],[[[[],[]]],[]]]=>1
[[],[[[[[]]]],[]]]=>1
[[],[[[],[],[],[]]]]=>1
[[],[[[],[],[[]]]]]=>1
[[],[[[],[[]],[]]]]=>1
[[],[[[],[[],[]]]]]=>1
[[],[[[],[[[]]]]]]=>1
[[],[[[[]],[],[]]]]=>1
[[],[[[[]],[[]]]]]=>1
[[],[[[[],[]],[]]]]=>1
[[],[[[[[]]],[]]]]=>1
[[],[[[[],[],[]]]]]=>1
[[],[[[[],[[]]]]]]=>1
[[],[[[[[]],[]]]]]=>1
[[],[[[[[],[]]]]]]=>1
[[],[[[[[[]]]]]]]=>1
[[[]],[],[],[],[],[]]=>1
[[[]],[],[],[],[[]]]=>1
[[[]],[],[],[[]],[]]=>1
[[[]],[],[],[[],[]]]=>1
[[[]],[],[],[[[]]]]=>1
[[[]],[],[[]],[],[]]=>1
[[[]],[],[[]],[[]]]=>1
[[[]],[],[[],[]],[]]=>1
[[[]],[],[[[]]],[]]=>1
[[[]],[],[[],[],[]]]=>1
[[[]],[],[[],[[]]]]=>1
[[[]],[],[[[]],[]]]=>1
[[[]],[],[[[],[]]]]=>1
[[[]],[],[[[[]]]]]=>1
[[[]],[[]],[],[],[]]=>1
[[[]],[[]],[],[[]]]=>1
[[[]],[[]],[[]],[]]=>1
[[[]],[[]],[[],[]]]=>2
[[[]],[[]],[[[]]]]=>2
[[[]],[[],[]],[],[]]=>1
[[[]],[[[]]],[],[]]=>1
[[[]],[[],[]],[[]]]=>2
[[[]],[[[]]],[[]]]=>2
[[[]],[[],[],[]],[]]=>1
[[[]],[[],[[]]],[]]=>1
[[[]],[[[]],[]],[]]=>1
[[[]],[[[],[]]],[]]=>1
[[[]],[[[[]]]],[]]=>1
[[[]],[[],[],[],[]]]=>2
[[[]],[[],[],[[]]]]=>2
[[[]],[[],[[]],[]]]=>2
[[[]],[[],[[],[]]]]=>2
[[[]],[[],[[[]]]]]=>2
[[[]],[[[]],[],[]]]=>2
[[[]],[[[]],[[]]]]=>2
[[[]],[[[],[]],[]]]=>2
[[[]],[[[[]]],[]]]=>2
[[[]],[[[],[],[]]]]=>2
[[[]],[[[],[[]]]]]=>2
[[[]],[[[[]],[]]]]=>2
[[[]],[[[[],[]]]]]=>2
[[[]],[[[[[]]]]]]=>2
[[[],[]],[],[],[],[]]=>1
[[[[]]],[],[],[],[]]=>1
[[[],[]],[],[],[[]]]=>1
[[[[]]],[],[],[[]]]=>1
[[[],[]],[],[[]],[]]=>1
[[[[]]],[],[[]],[]]=>1
[[[],[]],[],[[],[]]]=>1
[[[],[]],[],[[[]]]]=>1
[[[[]]],[],[[],[]]]=>1
[[[[]]],[],[[[]]]]=>1
[[[],[]],[[]],[],[]]=>1
[[[[]]],[[]],[],[]]=>1
[[[],[]],[[]],[[]]]=>2
[[[[]]],[[]],[[]]]=>2
[[[],[]],[[],[]],[]]=>1
[[[],[]],[[[]]],[]]=>1
[[[[]]],[[],[]],[]]=>1
[[[[]]],[[[]]],[]]=>1
[[[],[]],[[],[],[]]]=>2
[[[],[]],[[],[[]]]]=>2
[[[],[]],[[[]],[]]]=>2
[[[],[]],[[[],[]]]]=>2
[[[],[]],[[[[]]]]]=>2
[[[[]]],[[],[],[]]]=>2
[[[[]]],[[],[[]]]]=>2
[[[[]]],[[[]],[]]]=>2
[[[[]]],[[[],[]]]]=>3
[[[[]]],[[[[]]]]]=>3
[[[],[],[]],[],[],[]]=>1
[[[],[[]]],[],[],[]]=>1
[[[[]],[]],[],[],[]]=>1
[[[[],[]]],[],[],[]]=>1
[[[[[]]]],[],[],[]]=>1
[[[],[],[]],[],[[]]]=>1
[[[],[[]]],[],[[]]]=>1
[[[[]],[]],[],[[]]]=>1
[[[[],[]]],[],[[]]]=>1
[[[[[]]]],[],[[]]]=>1
[[[],[],[]],[[]],[]]=>1
[[[],[[]]],[[]],[]]=>1
[[[[]],[]],[[]],[]]=>1
[[[[],[]]],[[]],[]]=>1
[[[[[]]]],[[]],[]]=>1
[[[],[],[]],[[],[]]]=>2
[[[],[],[]],[[[]]]]=>2
[[[],[[]]],[[],[]]]=>2
[[[],[[]]],[[[]]]]=>2
[[[[]],[]],[[],[]]]=>2
[[[[]],[]],[[[]]]]=>2
[[[[],[]]],[[],[]]]=>2
[[[[],[]]],[[[]]]]=>3
[[[[[]]]],[[],[]]]=>2
[[[[[]]]],[[[]]]]=>3
[[[],[],[],[]],[],[]]=>1
[[[],[],[[]]],[],[]]=>1
[[[],[[]],[]],[],[]]=>1
[[[],[[],[]]],[],[]]=>1
[[[],[[[]]]],[],[]]=>1
[[[[]],[],[]],[],[]]=>1
[[[[]],[[]]],[],[]]=>1
[[[[],[]],[]],[],[]]=>1
[[[[[]]],[]],[],[]]=>1
[[[[],[],[]]],[],[]]=>1
[[[[],[[]]]],[],[]]=>1
[[[[[]],[]]],[],[]]=>1
[[[[[],[]]]],[],[]]=>1
[[[[[[]]]]],[],[]]=>1
[[[],[],[],[]],[[]]]=>2
[[[],[],[[]]],[[]]]=>2
[[[],[[]],[]],[[]]]=>2
[[[],[[],[]]],[[]]]=>2
[[[],[[[]]]],[[]]]=>2
[[[[]],[],[]],[[]]]=>2
[[[[]],[[]]],[[]]]=>2
[[[[],[]],[]],[[]]]=>2
[[[[[]]],[]],[[]]]=>2
[[[[],[],[]]],[[]]]=>2
[[[[],[[]]]],[[]]]=>2
[[[[[]],[]]],[[]]]=>2
[[[[[],[]]]],[[]]]=>2
[[[[[[]]]]],[[]]]=>2
[[[],[],[],[],[]],[]]=>1
[[[],[],[],[[]]],[]]=>1
[[[],[],[[]],[]],[]]=>1
[[[],[],[[],[]]],[]]=>1
[[[],[],[[[]]]],[]]=>1
[[[],[[]],[],[]],[]]=>1
[[[],[[]],[[]]],[]]=>1
[[[],[[],[]],[]],[]]=>1
[[[],[[[]]],[]],[]]=>1
[[[],[[],[],[]]],[]]=>1
[[[],[[],[[]]]],[]]=>1
[[[],[[[]],[]]],[]]=>1
[[[],[[[],[]]]],[]]=>1
[[[],[[[[]]]]],[]]=>1
[[[[]],[],[],[]],[]]=>1
[[[[]],[],[[]]],[]]=>1
[[[[]],[[]],[]],[]]=>1
[[[[]],[[],[]]],[]]=>1
[[[[]],[[[]]]],[]]=>1
[[[[],[]],[],[]],[]]=>1
[[[[[]]],[],[]],[]]=>1
[[[[],[]],[[]]],[]]=>1
[[[[[]]],[[]]],[]]=>1
[[[[],[],[]],[]],[]]=>1
[[[[],[[]]],[]],[]]=>1
[[[[[]],[]],[]],[]]=>1
[[[[[],[]]],[]],[]]=>1
[[[[[[]]]],[]],[]]=>1
[[[[],[],[],[]]],[]]=>1
[[[[],[],[[]]]],[]]=>1
[[[[],[[]],[]]],[]]=>1
[[[[],[[],[]]]],[]]=>1
[[[[],[[[]]]]],[]]=>1
[[[[[]],[],[]]],[]]=>1
[[[[[]],[[]]]],[]]=>1
[[[[[],[]],[]]],[]]=>1
[[[[[[]]],[]]],[]]=>1
[[[[[],[],[]]]],[]]=>1
[[[[[],[[]]]]],[]]=>1
[[[[[[]],[]]]],[]]=>1
[[[[[[],[]]]]],[]]=>1
[[[[[[[]]]]]],[]]=>1
[[[],[],[],[],[],[]]]=>2
[[[],[],[],[],[[]]]]=>2
[[[],[],[],[[]],[]]]=>2
[[[],[],[],[[],[]]]]=>2
[[[],[],[],[[[]]]]]=>2
[[[],[],[[]],[],[]]]=>2
[[[],[],[[]],[[]]]]=>2
[[[],[],[[],[]],[]]]=>2
[[[],[],[[[]]],[]]]=>2
[[[],[],[[],[],[]]]]=>2
[[[],[],[[],[[]]]]]=>2
[[[],[],[[[]],[]]]]=>2
[[[],[],[[[],[]]]]]=>2
[[[],[],[[[[]]]]]]=>2
[[[],[[]],[],[],[]]]=>2
[[[],[[]],[],[[]]]]=>2
[[[],[[]],[[]],[]]]=>2
[[[],[[]],[[],[]]]]=>2
[[[],[[]],[[[]]]]]=>2
[[[],[[],[]],[],[]]]=>2
[[[],[[[]]],[],[]]]=>2
[[[],[[],[]],[[]]]]=>2
[[[],[[[]]],[[]]]]=>2
[[[],[[],[],[]],[]]]=>2
[[[],[[],[[]]],[]]]=>2
[[[],[[[]],[]],[]]]=>2
[[[],[[[],[]]],[]]]=>2
[[[],[[[[]]]],[]]]=>2
[[[],[[],[],[],[]]]]=>2
[[[],[[],[],[[]]]]]=>2
[[[],[[],[[]],[]]]]=>2
[[[],[[],[[],[]]]]]=>2
[[[],[[],[[[]]]]]]=>2
[[[],[[[]],[],[]]]]=>2
[[[],[[[]],[[]]]]]=>2
[[[],[[[],[]],[]]]]=>2
[[[],[[[[]]],[]]]]=>2
[[[],[[[],[],[]]]]]=>2
[[[],[[[],[[]]]]]]=>2
[[[],[[[[]],[]]]]]=>2
[[[],[[[[],[]]]]]]=>2
[[[],[[[[[]]]]]]]=>2
[[[[]],[],[],[],[]]]=>2
[[[[]],[],[],[[]]]]=>2
[[[[]],[],[[]],[]]]=>2
[[[[]],[],[[],[]]]]=>2
[[[[]],[],[[[]]]]]=>2
[[[[]],[[]],[],[]]]=>2
[[[[]],[[]],[[]]]]=>3
[[[[]],[[],[]],[]]]=>2
[[[[]],[[[]]],[]]]=>2
[[[[]],[[],[],[]]]]=>3
[[[[]],[[],[[]]]]]=>3
[[[[]],[[[]],[]]]]=>3
[[[[]],[[[],[]]]]]=>3
[[[[]],[[[[]]]]]]=>3
[[[[],[]],[],[],[]]]=>2
[[[[[]]],[],[],[]]]=>2
[[[[],[]],[],[[]]]]=>2
[[[[[]]],[],[[]]]]=>2
[[[[],[]],[[]],[]]]=>2
[[[[[]]],[[]],[]]]=>2
[[[[],[]],[[],[]]]]=>3
[[[[],[]],[[[]]]]]=>3
[[[[[]]],[[],[]]]]=>3
[[[[[]]],[[[]]]]]=>4
[[[[],[],[]],[],[]]]=>2
[[[[],[[]]],[],[]]]=>2
[[[[[]],[]],[],[]]]=>2
[[[[[],[]]],[],[]]]=>2
[[[[[[]]]],[],[]]]=>2
[[[[],[],[]],[[]]]]=>3
[[[[],[[]]],[[]]]]=>3
[[[[[]],[]],[[]]]]=>3
[[[[[],[]]],[[]]]]=>3
[[[[[[]]]],[[]]]]=>3
[[[[],[],[],[]],[]]]=>2
[[[[],[],[[]]],[]]]=>2
[[[[],[[]],[]],[]]]=>2
[[[[],[[],[]]],[]]]=>2
[[[[],[[[]]]],[]]]=>2
[[[[[]],[],[]],[]]]=>2
[[[[[]],[[]]],[]]]=>2
[[[[[],[]],[]],[]]]=>2
[[[[[[]]],[]],[]]]=>2
[[[[[],[],[]]],[]]]=>2
[[[[[],[[]]]],[]]]=>2
[[[[[[]],[]]],[]]]=>2
[[[[[[],[]]]],[]]]=>2
[[[[[[[]]]]],[]]]=>2
[[[[],[],[],[],[]]]]=>3
[[[[],[],[],[[]]]]]=>3
[[[[],[],[[]],[]]]]=>3
[[[[],[],[[],[]]]]]=>3
[[[[],[],[[[]]]]]]=>3
[[[[],[[]],[],[]]]]=>3
[[[[],[[]],[[]]]]]=>3
[[[[],[[],[]],[]]]]=>3
[[[[],[[[]]],[]]]]=>3
[[[[],[[],[],[]]]]]=>3
[[[[],[[],[[]]]]]]=>3
[[[[],[[[]],[]]]]]=>3
[[[[],[[[],[]]]]]]=>3
[[[[],[[[[]]]]]]]=>3
[[[[[]],[],[],[]]]]=>3
[[[[[]],[],[[]]]]]=>3
[[[[[]],[[]],[]]]]=>3
[[[[[]],[[],[]]]]]=>4
[[[[[]],[[[]]]]]]=>4
[[[[[],[]],[],[]]]]=>3
[[[[[[]]],[],[]]]]=>3
[[[[[],[]],[[]]]]]=>4
[[[[[[]]],[[]]]]]=>4
[[[[[],[],[]],[]]]]=>3
[[[[[],[[]]],[]]]]=>3
[[[[[[]],[]],[]]]]=>3
[[[[[[],[]]],[]]]]=>3
[[[[[[[]]]],[]]]]=>3
[[[[[],[],[],[]]]]]=>4
[[[[[],[],[[]]]]]]=>4
[[[[[],[[]],[]]]]]=>4
[[[[[],[[],[]]]]]]=>4
[[[[[],[[[]]]]]]]=>4
[[[[[[]],[],[]]]]]=>4
[[[[[[]],[[]]]]]]=>5
[[[[[[],[]],[]]]]]=>4
[[[[[[[]]],[]]]]]=>4
[[[[[[],[],[]]]]]]=>5
[[[[[[],[[]]]]]]]=>5
[[[[[[[]],[]]]]]]=>5
[[[[[[[],[]]]]]]]=>6
[[[[[[[[]]]]]]]]=>7
[[],[],[],[],[],[],[],[]]=>1
[[],[],[],[],[],[],[[]]]=>1
[[],[],[],[],[],[[]],[]]=>1
[[],[],[],[],[],[[],[]]]=>1
[[],[],[],[],[],[[[]]]]=>1
[[],[],[],[],[[]],[],[]]=>1
[[],[],[],[],[[]],[[]]]=>1
[[],[],[],[],[[],[]],[]]=>1
[[],[],[],[],[[[]]],[]]=>1
[[],[],[],[],[[],[],[]]]=>1
[[],[],[],[],[[],[[]]]]=>1
[[],[],[],[],[[[]],[]]]=>1
[[],[],[],[],[[[],[]]]]=>1
[[],[],[],[],[[[[]]]]]=>1
[[],[],[],[[]],[],[],[]]=>1
[[],[],[],[[]],[],[[]]]=>1
[[],[],[],[[]],[[]],[]]=>1
[[],[],[],[[]],[[],[]]]=>1
[[],[],[],[[]],[[[]]]]=>1
[[],[],[],[[],[]],[],[]]=>1
[[],[],[],[[[]]],[],[]]=>1
[[],[],[],[[],[]],[[]]]=>1
[[],[],[],[[[]]],[[]]]=>1
[[],[],[],[[],[],[]],[]]=>1
[[],[],[],[[],[[]]],[]]=>1
[[],[],[],[[[]],[]],[]]=>1
[[],[],[],[[[],[]]],[]]=>1
[[],[],[],[[[[]]]],[]]=>1
[[],[],[],[[],[],[],[]]]=>1
[[],[],[],[[],[],[[]]]]=>1
[[],[],[],[[],[[]],[]]]=>1
[[],[],[],[[],[[],[]]]]=>1
[[],[],[],[[],[[[]]]]]=>1
[[],[],[],[[[]],[],[]]]=>1
[[],[],[],[[[]],[[]]]]=>1
[[],[],[],[[[],[]],[]]]=>1
[[],[],[],[[[[]]],[]]]=>1
[[],[],[],[[[],[],[]]]]=>1
[[],[],[],[[[],[[]]]]]=>1
[[],[],[],[[[[]],[]]]]=>1
[[],[],[],[[[[],[]]]]]=>1
[[],[],[],[[[[[]]]]]]=>1
[[],[],[[]],[],[],[],[]]=>1
[[],[],[[]],[],[],[[]]]=>1
[[],[],[[]],[],[[]],[]]=>1
[[],[],[[]],[],[[],[]]]=>1
[[],[],[[]],[],[[[]]]]=>1
[[],[],[[]],[[]],[],[]]=>1
[[],[],[[]],[[]],[[]]]=>1
[[],[],[[]],[[],[]],[]]=>1
[[],[],[[]],[[[]]],[]]=>1
[[],[],[[]],[[],[],[]]]=>1
[[],[],[[]],[[],[[]]]]=>1
[[],[],[[]],[[[]],[]]]=>1
[[],[],[[]],[[[],[]]]]=>1
[[],[],[[]],[[[[]]]]]=>1
[[],[],[[],[]],[],[],[]]=>1
[[],[],[[[]]],[],[],[]]=>1
[[],[],[[],[]],[],[[]]]=>1
[[],[],[[[]]],[],[[]]]=>1
[[],[],[[],[]],[[]],[]]=>1
[[],[],[[[]]],[[]],[]]=>1
[[],[],[[],[]],[[],[]]]=>1
[[],[],[[],[]],[[[]]]]=>1
[[],[],[[[]]],[[],[]]]=>1
[[],[],[[[]]],[[[]]]]=>1
[[],[],[[],[],[]],[],[]]=>1
[[],[],[[],[[]]],[],[]]=>1
[[],[],[[[]],[]],[],[]]=>1
[[],[],[[[],[]]],[],[]]=>1
[[],[],[[[[]]]],[],[]]=>1
[[],[],[[],[],[]],[[]]]=>1
[[],[],[[],[[]]],[[]]]=>1
[[],[],[[[]],[]],[[]]]=>1
[[],[],[[[],[]]],[[]]]=>1
[[],[],[[[[]]]],[[]]]=>1
[[],[],[[],[],[],[]],[]]=>1
[[],[],[[],[],[[]]],[]]=>1
[[],[],[[],[[]],[]],[]]=>1
[[],[],[[],[[],[]]],[]]=>1
[[],[],[[],[[[]]]],[]]=>1
[[],[],[[[]],[],[]],[]]=>1
[[],[],[[[]],[[]]],[]]=>1
[[],[],[[[],[]],[]],[]]=>1
[[],[],[[[[]]],[]],[]]=>1
[[],[],[[[],[],[]]],[]]=>1
[[],[],[[[],[[]]]],[]]=>1
[[],[],[[[[]],[]]],[]]=>1
[[],[],[[[[],[]]]],[]]=>1
[[],[],[[[[[]]]]],[]]=>1
[[],[],[[],[],[],[],[]]]=>1
[[],[],[[],[],[],[[]]]]=>1
[[],[],[[],[],[[]],[]]]=>1
[[],[],[[],[],[[],[]]]]=>1
[[],[],[[],[],[[[]]]]]=>1
[[],[],[[],[[]],[],[]]]=>1
[[],[],[[],[[]],[[]]]]=>1
[[],[],[[],[[],[]],[]]]=>1
[[],[],[[],[[[]]],[]]]=>1
[[],[],[[],[[],[],[]]]]=>1
[[],[],[[],[[],[[]]]]]=>1
[[],[],[[],[[[]],[]]]]=>1
[[],[],[[],[[[],[]]]]]=>1
[[],[],[[],[[[[]]]]]]=>1
[[],[],[[[]],[],[],[]]]=>1
[[],[],[[[]],[],[[]]]]=>1
[[],[],[[[]],[[]],[]]]=>1
[[],[],[[[]],[[],[]]]]=>1
[[],[],[[[]],[[[]]]]]=>1
[[],[],[[[],[]],[],[]]]=>1
[[],[],[[[[]]],[],[]]]=>1
[[],[],[[[],[]],[[]]]]=>1
[[],[],[[[[]]],[[]]]]=>1
[[],[],[[[],[],[]],[]]]=>1
[[],[],[[[],[[]]],[]]]=>1
[[],[],[[[[]],[]],[]]]=>1
[[],[],[[[[],[]]],[]]]=>1
[[],[],[[[[[]]]],[]]]=>1
[[],[],[[[],[],[],[]]]]=>1
[[],[],[[[],[],[[]]]]]=>1
[[],[],[[[],[[]],[]]]]=>1
[[],[],[[[],[[],[]]]]]=>1
[[],[],[[[],[[[]]]]]]=>1
[[],[],[[[[]],[],[]]]]=>1
[[],[],[[[[]],[[]]]]]=>1
[[],[],[[[[],[]],[]]]]=>1
[[],[],[[[[[]]],[]]]]=>1
[[],[],[[[[],[],[]]]]]=>1
[[],[],[[[[],[[]]]]]]=>1
[[],[],[[[[[]],[]]]]]=>1
[[],[],[[[[[],[]]]]]]=>1
[[],[],[[[[[[]]]]]]]=>1
[[],[[]],[],[],[],[],[]]=>1
[[],[[]],[],[],[],[[]]]=>1
[[],[[]],[],[],[[]],[]]=>1
[[],[[]],[],[],[[],[]]]=>1
[[],[[]],[],[],[[[]]]]=>1
[[],[[]],[],[[]],[],[]]=>1
[[],[[]],[],[[]],[[]]]=>1
[[],[[]],[],[[],[]],[]]=>1
[[],[[]],[],[[[]]],[]]=>1
[[],[[]],[],[[],[],[]]]=>1
[[],[[]],[],[[],[[]]]]=>1
[[],[[]],[],[[[]],[]]]=>1
[[],[[]],[],[[[],[]]]]=>1
[[],[[]],[],[[[[]]]]]=>1
[[],[[]],[[]],[],[],[]]=>1
[[],[[]],[[]],[],[[]]]=>1
[[],[[]],[[]],[[]],[]]=>1
[[],[[]],[[]],[[],[]]]=>1
[[],[[]],[[]],[[[]]]]=>1
[[],[[]],[[],[]],[],[]]=>1
[[],[[]],[[[]]],[],[]]=>1
[[],[[]],[[],[]],[[]]]=>1
[[],[[]],[[[]]],[[]]]=>1
[[],[[]],[[],[],[]],[]]=>1
[[],[[]],[[],[[]]],[]]=>1
[[],[[]],[[[]],[]],[]]=>1
[[],[[]],[[[],[]]],[]]=>1
[[],[[]],[[[[]]]],[]]=>1
[[],[[]],[[],[],[],[]]]=>1
[[],[[]],[[],[],[[]]]]=>1
[[],[[]],[[],[[]],[]]]=>1
[[],[[]],[[],[[],[]]]]=>1
[[],[[]],[[],[[[]]]]]=>1
[[],[[]],[[[]],[],[]]]=>1
[[],[[]],[[[]],[[]]]]=>1
[[],[[]],[[[],[]],[]]]=>1
[[],[[]],[[[[]]],[]]]=>1
[[],[[]],[[[],[],[]]]]=>1
[[],[[]],[[[],[[]]]]]=>1
[[],[[]],[[[[]],[]]]]=>1
[[],[[]],[[[[],[]]]]]=>1
[[],[[]],[[[[[]]]]]]=>1
[[],[[],[]],[],[],[],[]]=>1
[[],[[[]]],[],[],[],[]]=>1
[[],[[],[]],[],[],[[]]]=>1
[[],[[[]]],[],[],[[]]]=>1
[[],[[],[]],[],[[]],[]]=>1
[[],[[[]]],[],[[]],[]]=>1
[[],[[],[]],[],[[],[]]]=>1
[[],[[],[]],[],[[[]]]]=>1
[[],[[[]]],[],[[],[]]]=>1
[[],[[[]]],[],[[[]]]]=>1
[[],[[],[]],[[]],[],[]]=>1
[[],[[[]]],[[]],[],[]]=>1
[[],[[],[]],[[]],[[]]]=>1
[[],[[[]]],[[]],[[]]]=>1
[[],[[],[]],[[],[]],[]]=>1
[[],[[],[]],[[[]]],[]]=>1
[[],[[[]]],[[],[]],[]]=>1
[[],[[[]]],[[[]]],[]]=>1
[[],[[],[]],[[],[],[]]]=>1
[[],[[],[]],[[],[[]]]]=>1
[[],[[],[]],[[[]],[]]]=>1
[[],[[],[]],[[[],[]]]]=>1
[[],[[],[]],[[[[]]]]]=>1
[[],[[[]]],[[],[],[]]]=>1
[[],[[[]]],[[],[[]]]]=>1
[[],[[[]]],[[[]],[]]]=>1
[[],[[[]]],[[[],[]]]]=>1
[[],[[[]]],[[[[]]]]]=>1
[[],[[],[],[]],[],[],[]]=>1
[[],[[],[[]]],[],[],[]]=>1
[[],[[[]],[]],[],[],[]]=>1
[[],[[[],[]]],[],[],[]]=>1
[[],[[[[]]]],[],[],[]]=>1
[[],[[],[],[]],[],[[]]]=>1
[[],[[],[[]]],[],[[]]]=>1
[[],[[[]],[]],[],[[]]]=>1
[[],[[[],[]]],[],[[]]]=>1
[[],[[[[]]]],[],[[]]]=>1
[[],[[],[],[]],[[]],[]]=>1
[[],[[],[[]]],[[]],[]]=>1
[[],[[[]],[]],[[]],[]]=>1
[[],[[[],[]]],[[]],[]]=>1
[[],[[[[]]]],[[]],[]]=>1
[[],[[],[],[]],[[],[]]]=>1
[[],[[],[],[]],[[[]]]]=>1
[[],[[],[[]]],[[],[]]]=>1
[[],[[],[[]]],[[[]]]]=>1
[[],[[[]],[]],[[],[]]]=>1
[[],[[[]],[]],[[[]]]]=>1
[[],[[[],[]]],[[],[]]]=>1
[[],[[[],[]]],[[[]]]]=>1
[[],[[[[]]]],[[],[]]]=>1
[[],[[[[]]]],[[[]]]]=>1
[[],[[],[],[],[]],[],[]]=>1
[[],[[],[],[[]]],[],[]]=>1
[[],[[],[[]],[]],[],[]]=>1
[[],[[],[[],[]]],[],[]]=>1
[[],[[],[[[]]]],[],[]]=>1
[[],[[[]],[],[]],[],[]]=>1
[[],[[[]],[[]]],[],[]]=>1
[[],[[[],[]],[]],[],[]]=>1
[[],[[[[]]],[]],[],[]]=>1
[[],[[[],[],[]]],[],[]]=>1
[[],[[[],[[]]]],[],[]]=>1
[[],[[[[]],[]]],[],[]]=>1
[[],[[[[],[]]]],[],[]]=>1
[[],[[[[[]]]]],[],[]]=>1
[[],[[],[],[],[]],[[]]]=>1
[[],[[],[],[[]]],[[]]]=>1
[[],[[],[[]],[]],[[]]]=>1
[[],[[],[[],[]]],[[]]]=>1
[[],[[],[[[]]]],[[]]]=>1
[[],[[[]],[],[]],[[]]]=>1
[[],[[[]],[[]]],[[]]]=>1
[[],[[[],[]],[]],[[]]]=>1
[[],[[[[]]],[]],[[]]]=>1
[[],[[[],[],[]]],[[]]]=>1
[[],[[[],[[]]]],[[]]]=>1
[[],[[[[]],[]]],[[]]]=>1
[[],[[[[],[]]]],[[]]]=>1
[[],[[[[[]]]]],[[]]]=>1
[[],[[],[],[],[],[]],[]]=>1
[[],[[],[],[],[[]]],[]]=>1
[[],[[],[],[[]],[]],[]]=>1
[[],[[],[],[[],[]]],[]]=>1
[[],[[],[],[[[]]]],[]]=>1
[[],[[],[[]],[],[]],[]]=>1
[[],[[],[[]],[[]]],[]]=>1
[[],[[],[[],[]],[]],[]]=>1
[[],[[],[[[]]],[]],[]]=>1
[[],[[],[[],[],[]]],[]]=>1
[[],[[],[[],[[]]]],[]]=>1
[[],[[],[[[]],[]]],[]]=>1
[[],[[],[[[],[]]]],[]]=>1
[[],[[],[[[[]]]]],[]]=>1
[[],[[[]],[],[],[]],[]]=>1
[[],[[[]],[],[[]]],[]]=>1
[[],[[[]],[[]],[]],[]]=>1
[[],[[[]],[[],[]]],[]]=>1
[[],[[[]],[[[]]]],[]]=>1
[[],[[[],[]],[],[]],[]]=>1
[[],[[[[]]],[],[]],[]]=>1
[[],[[[],[]],[[]]],[]]=>1
[[],[[[[]]],[[]]],[]]=>1
[[],[[[],[],[]],[]],[]]=>1
[[],[[[],[[]]],[]],[]]=>1
[[],[[[[]],[]],[]],[]]=>1
[[],[[[[],[]]],[]],[]]=>1
[[],[[[[[]]]],[]],[]]=>1
[[],[[[],[],[],[]]],[]]=>1
[[],[[[],[],[[]]]],[]]=>1
[[],[[[],[[]],[]]],[]]=>1
[[],[[[],[[],[]]]],[]]=>1
[[],[[[],[[[]]]]],[]]=>1
[[],[[[[]],[],[]]],[]]=>1
[[],[[[[]],[[]]]],[]]=>1
[[],[[[[],[]],[]]],[]]=>1
[[],[[[[[]]],[]]],[]]=>1
[[],[[[[],[],[]]]],[]]=>1
[[],[[[[],[[]]]]],[]]=>1
[[],[[[[[]],[]]]],[]]=>1
[[],[[[[[],[]]]]],[]]=>1
[[],[[[[[[]]]]]],[]]=>1
[[],[[],[],[],[],[],[]]]=>1
[[],[[],[],[],[],[[]]]]=>1
[[],[[],[],[],[[]],[]]]=>1
[[],[[],[],[],[[],[]]]]=>1
[[],[[],[],[],[[[]]]]]=>1
[[],[[],[],[[]],[],[]]]=>1
[[],[[],[],[[]],[[]]]]=>1
[[],[[],[],[[],[]],[]]]=>1
[[],[[],[],[[[]]],[]]]=>1
[[],[[],[],[[],[],[]]]]=>1
[[],[[],[],[[],[[]]]]]=>1
[[],[[],[],[[[]],[]]]]=>1
[[],[[],[],[[[],[]]]]]=>1
[[],[[],[],[[[[]]]]]]=>1
[[],[[],[[]],[],[],[]]]=>1
[[],[[],[[]],[],[[]]]]=>1
[[],[[],[[]],[[]],[]]]=>1
[[],[[],[[]],[[],[]]]]=>1
[[],[[],[[]],[[[]]]]]=>1
[[],[[],[[],[]],[],[]]]=>1
[[],[[],[[[]]],[],[]]]=>1
[[],[[],[[],[]],[[]]]]=>1
[[],[[],[[[]]],[[]]]]=>1
[[],[[],[[],[],[]],[]]]=>1
[[],[[],[[],[[]]],[]]]=>1
[[],[[],[[[]],[]],[]]]=>1
[[],[[],[[[],[]]],[]]]=>1
[[],[[],[[[[]]]],[]]]=>1
[[],[[],[[],[],[],[]]]]=>1
[[],[[],[[],[],[[]]]]]=>1
[[],[[],[[],[[]],[]]]]=>1
[[],[[],[[],[[],[]]]]]=>1
[[],[[],[[],[[[]]]]]]=>1
[[],[[],[[[]],[],[]]]]=>1
[[],[[],[[[]],[[]]]]]=>1
[[],[[],[[[],[]],[]]]]=>1
[[],[[],[[[[]]],[]]]]=>1
[[],[[],[[[],[],[]]]]]=>1
[[],[[],[[[],[[]]]]]]=>1
[[],[[],[[[[]],[]]]]]=>1
[[],[[],[[[[],[]]]]]]=>1
[[],[[],[[[[[]]]]]]]=>1
[[],[[[]],[],[],[],[]]]=>1
[[],[[[]],[],[],[[]]]]=>1
[[],[[[]],[],[[]],[]]]=>1
[[],[[[]],[],[[],[]]]]=>1
[[],[[[]],[],[[[]]]]]=>1
[[],[[[]],[[]],[],[]]]=>1
[[],[[[]],[[]],[[]]]]=>1
[[],[[[]],[[],[]],[]]]=>1
[[],[[[]],[[[]]],[]]]=>1
[[],[[[]],[[],[],[]]]]=>1
[[],[[[]],[[],[[]]]]]=>1
[[],[[[]],[[[]],[]]]]=>1
[[],[[[]],[[[],[]]]]]=>1
[[],[[[]],[[[[]]]]]]=>1
[[],[[[],[]],[],[],[]]]=>1
[[],[[[[]]],[],[],[]]]=>1
[[],[[[],[]],[],[[]]]]=>1
[[],[[[[]]],[],[[]]]]=>1
[[],[[[],[]],[[]],[]]]=>1
[[],[[[[]]],[[]],[]]]=>1
[[],[[[],[]],[[],[]]]]=>1
[[],[[[],[]],[[[]]]]]=>1
[[],[[[[]]],[[],[]]]]=>1
[[],[[[[]]],[[[]]]]]=>1
[[],[[[],[],[]],[],[]]]=>1
[[],[[[],[[]]],[],[]]]=>1
[[],[[[[]],[]],[],[]]]=>1
[[],[[[[],[]]],[],[]]]=>1
[[],[[[[[]]]],[],[]]]=>1
[[],[[[],[],[]],[[]]]]=>1
[[],[[[],[[]]],[[]]]]=>1
[[],[[[[]],[]],[[]]]]=>1
[[],[[[[],[]]],[[]]]]=>1
[[],[[[[[]]]],[[]]]]=>1
[[],[[[],[],[],[]],[]]]=>1
[[],[[[],[],[[]]],[]]]=>1
[[],[[[],[[]],[]],[]]]=>1
[[],[[[],[[],[]]],[]]]=>1
[[],[[[],[[[]]]],[]]]=>1
[[],[[[[]],[],[]],[]]]=>1
[[],[[[[]],[[]]],[]]]=>1
[[],[[[[],[]],[]],[]]]=>1
[[],[[[[[]]],[]],[]]]=>1
[[],[[[[],[],[]]],[]]]=>1
[[],[[[[],[[]]]],[]]]=>1
[[],[[[[[]],[]]],[]]]=>1
[[],[[[[[],[]]]],[]]]=>1
[[],[[[[[[]]]]],[]]]=>1
[[],[[[],[],[],[],[]]]]=>1
[[],[[[],[],[],[[]]]]]=>1
[[],[[[],[],[[]],[]]]]=>1
[[],[[[],[],[[],[]]]]]=>1
[[],[[[],[],[[[]]]]]]=>1
[[],[[[],[[]],[],[]]]]=>1
[[],[[[],[[]],[[]]]]]=>1
[[],[[[],[[],[]],[]]]]=>1
[[],[[[],[[[]]],[]]]]=>1
[[],[[[],[[],[],[]]]]]=>1
[[],[[[],[[],[[]]]]]]=>1
[[],[[[],[[[]],[]]]]]=>1
[[],[[[],[[[],[]]]]]]=>1
[[],[[[],[[[[]]]]]]]=>1
[[],[[[[]],[],[],[]]]]=>1
[[],[[[[]],[],[[]]]]]=>1
[[],[[[[]],[[]],[]]]]=>1
[[],[[[[]],[[],[]]]]]=>1
[[],[[[[]],[[[]]]]]]=>1
[[],[[[[],[]],[],[]]]]=>1
[[],[[[[[]]],[],[]]]]=>1
[[],[[[[],[]],[[]]]]]=>1
[[],[[[[[]]],[[]]]]]=>1
[[],[[[[],[],[]],[]]]]=>1
[[],[[[[],[[]]],[]]]]=>1
[[],[[[[[]],[]],[]]]]=>1
[[],[[[[[],[]]],[]]]]=>1
[[],[[[[[[]]]],[]]]]=>1
[[],[[[[],[],[],[]]]]]=>1
[[],[[[[],[],[[]]]]]]=>1
[[],[[[[],[[]],[]]]]]=>1
[[],[[[[],[[],[]]]]]]=>1
[[],[[[[],[[[]]]]]]]=>1
[[],[[[[[]],[],[]]]]]=>1
[[],[[[[[]],[[]]]]]]=>1
[[],[[[[[],[]],[]]]]]=>1
[[],[[[[[[]]],[]]]]]=>1
[[],[[[[[],[],[]]]]]]=>1
[[],[[[[[],[[]]]]]]]=>1
[[],[[[[[[]],[]]]]]]=>1
[[],[[[[[[],[]]]]]]]=>1
[[],[[[[[[[]]]]]]]]=>1
[[[]],[],[],[],[],[],[]]=>1
[[[]],[],[],[],[],[[]]]=>1
[[[]],[],[],[],[[]],[]]=>1
[[[]],[],[],[],[[],[]]]=>1
[[[]],[],[],[],[[[]]]]=>1
[[[]],[],[],[[]],[],[]]=>1
[[[]],[],[],[[]],[[]]]=>1
[[[]],[],[],[[],[]],[]]=>1
[[[]],[],[],[[[]]],[]]=>1
[[[]],[],[],[[],[],[]]]=>1
[[[]],[],[],[[],[[]]]]=>1
[[[]],[],[],[[[]],[]]]=>1
[[[]],[],[],[[[],[]]]]=>1
[[[]],[],[],[[[[]]]]]=>1
[[[]],[],[[]],[],[],[]]=>1
[[[]],[],[[]],[],[[]]]=>1
[[[]],[],[[]],[[]],[]]=>1
[[[]],[],[[]],[[],[]]]=>1
[[[]],[],[[]],[[[]]]]=>1
[[[]],[],[[],[]],[],[]]=>1
[[[]],[],[[[]]],[],[]]=>1
[[[]],[],[[],[]],[[]]]=>1
[[[]],[],[[[]]],[[]]]=>1
[[[]],[],[[],[],[]],[]]=>1
[[[]],[],[[],[[]]],[]]=>1
[[[]],[],[[[]],[]],[]]=>1
[[[]],[],[[[],[]]],[]]=>1
[[[]],[],[[[[]]]],[]]=>1
[[[]],[],[[],[],[],[]]]=>1
[[[]],[],[[],[],[[]]]]=>1
[[[]],[],[[],[[]],[]]]=>1
[[[]],[],[[],[[],[]]]]=>1
[[[]],[],[[],[[[]]]]]=>1
[[[]],[],[[[]],[],[]]]=>1
[[[]],[],[[[]],[[]]]]=>1
[[[]],[],[[[],[]],[]]]=>1
[[[]],[],[[[[]]],[]]]=>1
[[[]],[],[[[],[],[]]]]=>1
[[[]],[],[[[],[[]]]]]=>1
[[[]],[],[[[[]],[]]]]=>1
[[[]],[],[[[[],[]]]]]=>1
[[[]],[],[[[[[]]]]]]=>1
[[[]],[[]],[],[],[],[]]=>1
[[[]],[[]],[],[],[[]]]=>1
[[[]],[[]],[],[[]],[]]=>1
[[[]],[[]],[],[[],[]]]=>1
[[[]],[[]],[],[[[]]]]=>1
[[[]],[[]],[[]],[],[]]=>1
[[[]],[[]],[[]],[[]]]=>2
[[[]],[[]],[[],[]],[]]=>1
[[[]],[[]],[[[]]],[]]=>1
[[[]],[[]],[[],[],[]]]=>2
[[[]],[[]],[[],[[]]]]=>2
[[[]],[[]],[[[]],[]]]=>2
[[[]],[[]],[[[],[]]]]=>2
[[[]],[[]],[[[[]]]]]=>2
[[[]],[[],[]],[],[],[]]=>1
[[[]],[[[]]],[],[],[]]=>1
[[[]],[[],[]],[],[[]]]=>1
[[[]],[[[]]],[],[[]]]=>1
[[[]],[[],[]],[[]],[]]=>1
[[[]],[[[]]],[[]],[]]=>1
[[[]],[[],[]],[[],[]]]=>2
[[[]],[[],[]],[[[]]]]=>2
[[[]],[[[]]],[[],[]]]=>2
[[[]],[[[]]],[[[]]]]=>2
[[[]],[[],[],[]],[],[]]=>1
[[[]],[[],[[]]],[],[]]=>1
[[[]],[[[]],[]],[],[]]=>1
[[[]],[[[],[]]],[],[]]=>1
[[[]],[[[[]]]],[],[]]=>1
[[[]],[[],[],[]],[[]]]=>2
[[[]],[[],[[]]],[[]]]=>2
[[[]],[[[]],[]],[[]]]=>2
[[[]],[[[],[]]],[[]]]=>2
[[[]],[[[[]]]],[[]]]=>2
[[[]],[[],[],[],[]],[]]=>1
[[[]],[[],[],[[]]],[]]=>1
[[[]],[[],[[]],[]],[]]=>1
[[[]],[[],[[],[]]],[]]=>1
[[[]],[[],[[[]]]],[]]=>1
[[[]],[[[]],[],[]],[]]=>1
[[[]],[[[]],[[]]],[]]=>1
[[[]],[[[],[]],[]],[]]=>1
[[[]],[[[[]]],[]],[]]=>1
[[[]],[[[],[],[]]],[]]=>1
[[[]],[[[],[[]]]],[]]=>1
[[[]],[[[[]],[]]],[]]=>1
[[[]],[[[[],[]]]],[]]=>1
[[[]],[[[[[]]]]],[]]=>1
[[[]],[[],[],[],[],[]]]=>2
[[[]],[[],[],[],[[]]]]=>2
[[[]],[[],[],[[]],[]]]=>2
[[[]],[[],[],[[],[]]]]=>2
[[[]],[[],[],[[[]]]]]=>2
[[[]],[[],[[]],[],[]]]=>2
[[[]],[[],[[]],[[]]]]=>2
[[[]],[[],[[],[]],[]]]=>2
[[[]],[[],[[[]]],[]]]=>2
[[[]],[[],[[],[],[]]]]=>2
[[[]],[[],[[],[[]]]]]=>2
[[[]],[[],[[[]],[]]]]=>2
[[[]],[[],[[[],[]]]]]=>2
[[[]],[[],[[[[]]]]]]=>2
[[[]],[[[]],[],[],[]]]=>2
[[[]],[[[]],[],[[]]]]=>2
[[[]],[[[]],[[]],[]]]=>2
[[[]],[[[]],[[],[]]]]=>2
[[[]],[[[]],[[[]]]]]=>2
[[[]],[[[],[]],[],[]]]=>2
[[[]],[[[[]]],[],[]]]=>2
[[[]],[[[],[]],[[]]]]=>2
[[[]],[[[[]]],[[]]]]=>2
[[[]],[[[],[],[]],[]]]=>2
[[[]],[[[],[[]]],[]]]=>2
[[[]],[[[[]],[]],[]]]=>2
[[[]],[[[[],[]]],[]]]=>2
[[[]],[[[[[]]]],[]]]=>2
[[[]],[[[],[],[],[]]]]=>2
[[[]],[[[],[],[[]]]]]=>2
[[[]],[[[],[[]],[]]]]=>2
[[[]],[[[],[[],[]]]]]=>2
[[[]],[[[],[[[]]]]]]=>2
[[[]],[[[[]],[],[]]]]=>2
[[[]],[[[[]],[[]]]]]=>2
[[[]],[[[[],[]],[]]]]=>2
[[[]],[[[[[]]],[]]]]=>2
[[[]],[[[[],[],[]]]]]=>2
[[[]],[[[[],[[]]]]]]=>2
[[[]],[[[[[]],[]]]]]=>2
[[[]],[[[[[],[]]]]]]=>2
[[[]],[[[[[[]]]]]]]=>2
[[[],[]],[],[],[],[],[]]=>1
[[[[]]],[],[],[],[],[]]=>1
[[[],[]],[],[],[],[[]]]=>1
[[[[]]],[],[],[],[[]]]=>1
[[[],[]],[],[],[[]],[]]=>1
[[[[]]],[],[],[[]],[]]=>1
[[[],[]],[],[],[[],[]]]=>1
[[[],[]],[],[],[[[]]]]=>1
[[[[]]],[],[],[[],[]]]=>1
[[[[]]],[],[],[[[]]]]=>1
[[[],[]],[],[[]],[],[]]=>1
[[[[]]],[],[[]],[],[]]=>1
[[[],[]],[],[[]],[[]]]=>1
[[[[]]],[],[[]],[[]]]=>1
[[[],[]],[[],[[],[]]]]=>2
[[[],[]],[[[],[]],[]]]=>2
[[[],[[],[]]],[[],[]]]=>2
[[[[],[]],[]],[[],[]]]=>2
[[[],[[],[[],[]]]],[]]=>1
[[[],[[[],[]],[]]],[]]=>1
[[[[],[]],[[],[]]],[]]=>1
[[[[],[[],[]]],[]],[]]=>1
[[[[[],[]],[]],[]],[]]=>1
[[[[[],[[[]]]]]],[]]=>1
[[[[[[[]]],[]]]],[]]=>1
[[[[[[],[],[]]]]],[]]=>1
[[[[[[],[[]]]]]],[]]=>1
[[[[[[[]],[]]]]],[]]=>1
[[[[[[[],[]]]]]],[]]=>1
[[[[[[[[]]]]]]],[]]=>1
[[[[[[[[[]]]]]]]],[]]=>1
[[],[[[[[[[[]]]]]]]]]=>1
[[[[[[[[],[]]]]]]],[]]=>1
[[],[[[[[[[],[]]]]]]]]=>1
[[[[[[[[]],[]]]]]],[]]=>1
[[[[[[[],[[]]]]]]],[]]=>1
[[],[[[[[[[]],[]]]]]]]=>1
[[],[[[[[[],[[]]]]]]]]=>1
[[],[[],[[],[[],[[],[]]]]]]=>1
[[],[[],[[],[[[],[]],[]]]]]=>1
[[],[[],[[[],[]],[[],[]]]]]=>1
[[],[[],[[[],[[],[]]],[]]]]=>1
[[],[[],[[[[],[]],[]],[]]]]=>1
[[],[[[],[]],[[],[[],[]]]]]=>1
[[],[[[],[]],[[[],[]],[]]]]=>1
[[],[[[],[[],[]]],[[],[]]]]=>1
[[],[[[[],[]],[]],[[],[]]]]=>1
[[],[[[],[[],[[],[]]]],[]]]=>1
[[],[[[],[[[],[]],[]]],[]]]=>1
[[],[[[[],[]],[[],[]]],[]]]=>1
[[],[[[[],[[],[]]],[]],[]]]=>1
[[],[[[[[],[]],[]],[]],[]]]=>1
[[[],[]],[[],[[],[[],[]]]]]=>2
[[[],[]],[[],[[[],[]],[]]]]=>2
[[[],[]],[[[],[]],[[],[]]]]=>2
[[[],[]],[[[],[[],[]]],[]]]=>2
[[[],[]],[[[[],[]],[]],[]]]=>2
[[[],[[],[]]],[[],[[],[]]]]=>2
[[[],[[],[]]],[[[],[]],[]]]=>2
[[[[],[]],[]],[[],[[],[]]]]=>2
[[[[],[]],[]],[[[],[]],[]]]=>2
[[[],[[],[[],[]]]],[[],[]]]=>2
[[[],[[[],[]],[]]],[[],[]]]=>2
[[[[],[]],[[],[]]],[[],[]]]=>2
[[[[],[[],[]]],[]],[[],[]]]=>2
[[[[[],[]],[]],[]],[[],[]]]=>2
[[[],[[],[[],[[],[]]]]],[]]=>1
[[[],[[],[[[],[]],[]]]],[]]=>1
[[[],[[[],[]],[[],[]]]],[]]=>1
[[[],[[[],[[],[]]],[]]],[]]=>1
[[[],[[[[],[]],[]],[]]],[]]=>1
[[[[],[]],[[],[[],[]]]],[]]=>1
[[[[],[]],[[[],[]],[]]],[]]=>1
[[[[],[[],[]]],[[],[]]],[]]=>1
[[[[[],[]],[]],[[],[]]],[]]=>1
[[[[],[[],[[],[]]]],[]],[]]=>1
[[[[],[[[],[]],[]]],[]],[]]=>1
[[[[[],[]],[[],[]]],[]],[]]=>1
[[[[[],[[],[]]],[]],[]],[]]=>1
[[[[[[],[]],[]],[]],[]],[]]=>1
[[[[[[[[[[]]]]]]]]],[]]=>1
[[],[[[[[[[[[]]]]]]]]]]=>1
[[[[[[[[[],[]]]]]]]],[]]=>1
[[],[[[[[[[[],[]]]]]]]]]=>1
[[[[[[[[[[[]]]]]]]]]],[]]=>1
[[],[[[[[[[[[[]]]]]]]]]]]=>1
[[],[[],[[],[[],[[],[[],[]]]]]]]=>1
[[],[[],[[],[[],[[[],[]],[]]]]]]=>1
[[],[[],[[],[[[],[]],[[],[]]]]]]=>1
[[],[[],[[],[[[],[[],[]]],[]]]]]=>1
[[],[[],[[],[[[[],[]],[]],[]]]]]=>1
[[],[[],[[[],[]],[[],[[],[]]]]]]=>1
[[],[[],[[[],[]],[[[],[]],[]]]]]=>1
[[],[[],[[[],[[],[]]],[[],[]]]]]=>1
[[],[[],[[[[],[]],[]],[[],[]]]]]=>1
[[],[[],[[[],[[],[[],[]]]],[]]]]=>1
[[],[[],[[[],[[[],[]],[]]],[]]]]=>1
[[],[[],[[[[],[]],[[],[]]],[]]]]=>1
[[],[[],[[[[],[[],[]]],[]],[]]]]=>1
[[],[[],[[[[[],[]],[]],[]],[]]]]=>1
[[],[[[],[]],[[],[[],[[],[]]]]]]=>1
[[],[[[],[]],[[],[[[],[]],[]]]]]=>1
[[],[[[],[]],[[[],[]],[[],[]]]]]=>1
[[],[[[],[]],[[[],[[],[]]],[]]]]=>1
[[],[[[],[]],[[[[],[]],[]],[]]]]=>1
[[],[[[],[[],[]]],[[],[[],[]]]]]=>1
[[],[[[],[[],[]]],[[[],[]],[]]]]=>1
[[],[[[[],[]],[]],[[],[[],[]]]]]=>1
[[],[[[[],[]],[]],[[[],[]],[]]]]=>1
[[],[[[],[[],[[],[]]]],[[],[]]]]=>1
[[],[[[],[[[],[]],[]]],[[],[]]]]=>1
[[],[[[[],[]],[[],[]]],[[],[]]]]=>1
[[],[[[[],[[],[]]],[]],[[],[]]]]=>1
[[],[[[[[],[]],[]],[]],[[],[]]]]=>1
[[],[[[],[[],[[],[[],[]]]]],[]]]=>1
[[],[[[],[[],[[[],[]],[]]]],[]]]=>1
[[],[[[],[[[],[]],[[],[]]]],[]]]=>1
[[],[[[],[[[],[[],[]]],[]]],[]]]=>1
[[],[[[],[[[[],[]],[]],[]]],[]]]=>1
[[],[[[[],[]],[[],[[],[]]]],[]]]=>1
[[],[[[[],[]],[[[],[]],[]]],[]]]=>1
[[],[[[[],[[],[]]],[[],[]]],[]]]=>1
[[],[[[[[],[]],[]],[[],[]]],[]]]=>1
[[],[[[[],[[],[[],[]]]],[]],[]]]=>1
[[],[[[[],[[[],[]],[]]],[]],[]]]=>1
[[],[[[[[],[]],[[],[]]],[]],[]]]=>1
[[],[[[[[],[[],[]]],[]],[]],[]]]=>1
[[],[[[[[[],[]],[]],[]],[]],[]]]=>1
[[[],[]],[[],[[],[[],[[],[]]]]]]=>2
[[[],[]],[[],[[],[[[],[]],[]]]]]=>2
[[[],[]],[[],[[[],[]],[[],[]]]]]=>2
[[[],[]],[[],[[[],[[],[]]],[]]]]=>2
[[[],[]],[[],[[[[],[]],[]],[]]]]=>2
[[[],[]],[[[],[]],[[],[[],[]]]]]=>2
[[[],[]],[[[],[]],[[[],[]],[]]]]=>2
[[[],[]],[[[],[[],[]]],[[],[]]]]=>2
[[[],[]],[[[[],[]],[]],[[],[]]]]=>2
[[[],[]],[[[],[[],[[],[]]]],[]]]=>2
[[[],[]],[[[],[[[],[]],[]]],[]]]=>2
[[[],[]],[[[[],[]],[[],[]]],[]]]=>2
[[[],[]],[[[[],[[],[]]],[]],[]]]=>2
[[[],[]],[[[[[],[]],[]],[]],[]]]=>2
[[[],[[],[]]],[[],[[],[[],[]]]]]=>2
[[[],[[],[]]],[[],[[[],[]],[]]]]=>2
[[[],[[],[]]],[[[],[]],[[],[]]]]=>2
[[[],[[],[]]],[[[],[[],[]]],[]]]=>2
[[[],[[],[]]],[[[[],[]],[]],[]]]=>2
[[[[],[]],[]],[[],[[],[[],[]]]]]=>2
[[[[],[]],[]],[[],[[[],[]],[]]]]=>2
[[[[],[]],[]],[[[],[]],[[],[]]]]=>2
[[[[],[]],[]],[[[],[[],[]]],[]]]=>2
[[[[],[]],[]],[[[[],[]],[]],[]]]=>2
[[[],[[],[[],[]]]],[[],[[],[]]]]=>2
[[[],[[],[[],[]]]],[[[],[]],[]]]=>2
[[[],[[[],[]],[]]],[[],[[],[]]]]=>2
[[[],[[[],[]],[]]],[[[],[]],[]]]=>2
[[[[],[]],[[],[]]],[[],[[],[]]]]=>2
[[[[],[]],[[],[]]],[[[],[]],[]]]=>2
[[[[],[[],[]]],[]],[[],[[],[]]]]=>2
[[[[],[[],[]]],[]],[[[],[]],[]]]=>2
[[[[[],[]],[]],[]],[[],[[],[]]]]=>2
[[[[[],[]],[]],[]],[[[],[]],[]]]=>2
[[[],[[],[[],[[],[]]]]],[[],[]]]=>2
[[[],[[],[[[],[]],[]]]],[[],[]]]=>2
[[[],[[[],[]],[[],[]]]],[[],[]]]=>2
[[[],[[[],[[],[]]],[]]],[[],[]]]=>2
[[[],[[[[],[]],[]],[]]],[[],[]]]=>2
[[[[],[]],[[],[[],[]]]],[[],[]]]=>2
[[[[],[]],[[[],[]],[]]],[[],[]]]=>2
[[[[],[[],[]]],[[],[]]],[[],[]]]=>2
[[[[[],[]],[]],[[],[]]],[[],[]]]=>2
[[[[],[[],[[],[]]]],[]],[[],[]]]=>2
[[[[],[[[],[]],[]]],[]],[[],[]]]=>2
[[[[[],[]],[[],[]]],[]],[[],[]]]=>2
[[[[[],[[],[]]],[]],[]],[[],[]]]=>2
[[[[[[],[]],[]],[]],[]],[[],[]]]=>2
[[[],[[],[[],[[],[[],[]]]]]],[]]=>1
[[[],[[],[[],[[[],[]],[]]]]],[]]=>1
[[[],[[],[[[],[]],[[],[]]]]],[]]=>1
[[[],[[],[[[],[[],[]]],[]]]],[]]=>1
[[[],[[],[[[[],[]],[]],[]]]],[]]=>1
[[[],[[[],[]],[[],[[],[]]]]],[]]=>1
[[[],[[[],[]],[[[],[]],[]]]],[]]=>1
[[[],[[[],[[],[]]],[[],[]]]],[]]=>1
[[[],[[[[],[]],[]],[[],[]]]],[]]=>1
[[[],[[[],[[],[[],[]]]],[]]],[]]=>1
[[[],[[[],[[[],[]],[]]],[]]],[]]=>1
[[[],[[[[],[]],[[],[]]],[]]],[]]=>1
[[[],[[[[],[[],[]]],[]],[]]],[]]=>1
[[[],[[[[[],[]],[]],[]],[]]],[]]=>1
[[[[],[]],[[],[[],[[],[]]]]],[]]=>1
[[[[],[]],[[],[[[],[]],[]]]],[]]=>1
[[[[],[]],[[[],[]],[[],[]]]],[]]=>1
[[[[],[]],[[[],[[],[]]],[]]],[]]=>1
[[[[],[]],[[[[],[]],[]],[]]],[]]=>1
[[[[],[[],[]]],[[],[[],[]]]],[]]=>1
[[[[],[[],[]]],[[[],[]],[]]],[]]=>1
[[[[[],[]],[]],[[],[[],[]]]],[]]=>1
[[[[[],[]],[]],[[[],[]],[]]],[]]=>1
[[[[],[[],[[],[]]]],[[],[]]],[]]=>1
[[[[],[[[],[]],[]]],[[],[]]],[]]=>1
[[[[[],[]],[[],[]]],[[],[]]],[]]=>1
[[[[[],[[],[]]],[]],[[],[]]],[]]=>1
[[[[[[],[]],[]],[]],[[],[]]],[]]=>1
[[[[],[[],[[],[[],[]]]]],[]],[]]=>1
[[[[],[[],[[[],[]],[]]]],[]],[]]=>1
[[[[],[[[],[]],[[],[]]]],[]],[]]=>1
[[[[],[[[],[[],[]]],[]]],[]],[]]=>1
[[[[],[[[[],[]],[]],[]]],[]],[]]=>1
[[[[[],[]],[[],[[],[]]]],[]],[]]=>1
[[[[[],[]],[[[],[]],[]]],[]],[]]=>1
[[[[[],[[],[]]],[[],[]]],[]],[]]=>1
[[[[[[],[]],[]],[[],[]]],[]],[]]=>1
[[[[[],[[],[[],[]]]],[]],[]],[]]=>1
[[[[[],[[[],[]],[]]],[]],[]],[]]=>1
[[[[[[],[]],[[],[]]],[]],[]],[]]=>1
[[[[[[],[[],[]]],[]],[]],[]],[]]=>1
[[[[[[[],[]],[]],[]],[]],[]],[]]=>1
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 protection number of an ordered tree.
This is the minimal distance from the root to a leaf.
This is the minimal distance from the root to a leaf.
References
[1] Heuberger, C., Prodinger, H. Protection Number in Plane Trees arXiv:1702.06816
Code
def statistic(T): if len(T) == 0: return 0 else: return 1+min(statistic(S) for S in T)
Created
Feb 23, 2017 at 20:14 by Martin Rubey
Updated
Dec 26, 2017 at 12:32 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!