Identifier
Values
[] => [] => [1,0] => [1] => 1
[[]] => [1,0] => [1,1,0,0] => [2,1] => 2
[[],[]] => [1,0,1,0] => [1,1,0,1,0,0] => [2,3,1] => 3
[[[]]] => [1,1,0,0] => [1,1,1,0,0,0] => [3,2,1] => 6
[[],[],[]] => [1,0,1,0,1,0] => [1,1,0,1,0,1,0,0] => [2,3,4,1] => 4
[[],[[]]] => [1,0,1,1,0,0] => [1,1,0,1,1,0,0,0] => [2,4,3,1] => 8
[[[]],[]] => [1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => [3,2,4,1] => 8
[[[],[]]] => [1,1,0,1,0,0] => [1,1,1,0,1,0,0,0] => [3,4,2,1] => 12
[[[[]]]] => [1,1,1,0,0,0] => [1,1,1,1,0,0,0,0] => [4,3,2,1] => 24
[[],[],[],[]] => [1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,0] => [2,3,4,5,1] => 5
[[],[],[[]]] => [1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,1,0,0,0] => [2,3,5,4,1] => 10
[[],[[]],[]] => [1,0,1,1,0,0,1,0] => [1,1,0,1,1,0,0,1,0,0] => [2,4,3,5,1] => 10
[[],[[],[]]] => [1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => [2,4,5,3,1] => 15
[[],[[[]]]] => [1,0,1,1,1,0,0,0] => [1,1,0,1,1,1,0,0,0,0] => [2,5,4,3,1] => 30
[[[]],[],[]] => [1,1,0,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => [3,2,4,5,1] => 10
[[[]],[[]]] => [1,1,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,0] => [3,2,5,4,1] => 20
[[[],[]],[]] => [1,1,0,1,0,0,1,0] => [1,1,1,0,1,0,0,1,0,0] => [3,4,2,5,1] => 15
[[[[]]],[]] => [1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => [4,3,2,5,1] => 30
[[[],[],[]]] => [1,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,0,0] => [3,4,5,2,1] => 20
[[[],[[]]]] => [1,1,0,1,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0] => [3,5,4,2,1] => 40
[[[[]],[]]] => [1,1,1,0,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => [4,3,5,2,1] => 40
[[[[],[]]]] => [1,1,1,0,1,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => [4,5,3,2,1] => 60
[[[[[]]]]] => [1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => [5,4,3,2,1] => 120
[[],[],[],[],[]] => [1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => [2,3,4,5,6,1] => 6
[[],[],[],[[]]] => [1,0,1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,0,1,1,0,0,0] => [2,3,4,6,5,1] => 12
[[],[],[[]],[]] => [1,0,1,0,1,1,0,0,1,0] => [1,1,0,1,0,1,1,0,0,1,0,0] => [2,3,5,4,6,1] => 12
[[],[],[[],[]]] => [1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => [2,3,5,6,4,1] => 18
[[],[],[[[]]]] => [1,0,1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => [2,3,6,5,4,1] => 36
[[],[[]],[],[]] => [1,0,1,1,0,0,1,0,1,0] => [1,1,0,1,1,0,0,1,0,1,0,0] => [2,4,3,5,6,1] => 12
[[],[[]],[[]]] => [1,0,1,1,0,0,1,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => [2,4,3,6,5,1] => 24
[[],[[],[]],[]] => [1,0,1,1,0,1,0,0,1,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => [2,4,5,3,6,1] => 18
[[],[[[]]],[]] => [1,0,1,1,1,0,0,0,1,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => [2,5,4,3,6,1] => 36
[[],[[],[],[]]] => [1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,0,1,0,1,0,0,0] => [2,4,5,6,3,1] => 24
[[],[[],[[]]]] => [1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => [2,4,6,5,3,1] => 48
[[],[[[]],[]]] => [1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => [2,5,4,6,3,1] => 48
[[],[[[],[]]]] => [1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => [2,5,6,4,3,1] => 72
[[],[[[[]]]]] => [1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => [2,6,5,4,3,1] => 144
[[[]],[],[],[]] => [1,1,0,0,1,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => [3,2,4,5,6,1] => 12
[[[]],[],[[]]] => [1,1,0,0,1,0,1,1,0,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => [3,2,4,6,5,1] => 24
[[[]],[[]],[]] => [1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,1,0,0] => [3,2,5,4,6,1] => 24
[[[]],[[],[]]] => [1,1,0,0,1,1,0,1,0,0] => [1,1,1,0,0,1,1,0,1,0,0,0] => [3,2,5,6,4,1] => 36
[[[]],[[[]]]] => [1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => [3,2,6,5,4,1] => 72
[[[],[]],[],[]] => [1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => [3,4,2,5,6,1] => 18
[[[[]]],[],[]] => [1,1,1,0,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => [4,3,2,5,6,1] => 36
[[[],[]],[[]]] => [1,1,0,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,1,0,0,0] => [3,4,2,6,5,1] => 36
[[[[]]],[[]]] => [1,1,1,0,0,0,1,1,0,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => [4,3,2,6,5,1] => 72
[[[],[],[]],[]] => [1,1,0,1,0,1,0,0,1,0] => [1,1,1,0,1,0,1,0,0,1,0,0] => [3,4,5,2,6,1] => 24
[[[],[[]]],[]] => [1,1,0,1,1,0,0,0,1,0] => [1,1,1,0,1,1,0,0,0,1,0,0] => [3,5,4,2,6,1] => 48
[[[[]],[]],[]] => [1,1,1,0,0,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => [4,3,5,2,6,1] => 48
[[[[],[]]],[]] => [1,1,1,0,1,0,0,0,1,0] => [1,1,1,1,0,1,0,0,0,1,0,0] => [4,5,3,2,6,1] => 72
[[[[[]]]],[]] => [1,1,1,1,0,0,0,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => [5,4,3,2,6,1] => 144
[[[],[],[],[]]] => [1,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => [3,4,5,6,2,1] => 30
[[[],[],[[]]]] => [1,1,0,1,0,1,1,0,0,0] => [1,1,1,0,1,0,1,1,0,0,0,0] => [3,4,6,5,2,1] => 60
[[[],[[]],[]]] => [1,1,0,1,1,0,0,1,0,0] => [1,1,1,0,1,1,0,0,1,0,0,0] => [3,5,4,6,2,1] => 60
[[[],[[],[]]]] => [1,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,1,0,1,0,0,0,0] => [3,5,6,4,2,1] => 90
[[[],[[[]]]]] => [1,1,0,1,1,1,0,0,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => [3,6,5,4,2,1] => 180
[[[[]],[],[]]] => [1,1,1,0,0,1,0,1,0,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => [4,3,5,6,2,1] => 60
[[[[]],[[]]]] => [1,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => [4,3,6,5,2,1] => 120
[[[[],[]],[]]] => [1,1,1,0,1,0,0,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => [4,5,3,6,2,1] => 90
[[[[[]]],[]]] => [1,1,1,1,0,0,0,1,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => [5,4,3,6,2,1] => 180
[[[[],[],[]]]] => [1,1,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => [4,5,6,3,2,1] => 120
[[[[],[[]]]]] => [1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => [4,6,5,3,2,1] => 240
[[[[[]],[]]]] => [1,1,1,1,0,0,1,0,0,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => [5,4,6,3,2,1] => 240
[[[[[],[]]]]] => [1,1,1,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => [5,6,4,3,2,1] => 360
[[[[[[]]]]]] => [1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => [6,5,4,3,2,1] => 720
[[],[],[],[],[],[]] => [1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,0] => [2,3,4,5,6,7,1] => 7
[[[]],[],[],[],[]] => [1,1,0,0,1,0,1,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,1,0,0] => [3,2,4,5,6,7,1] => 14
[[[],[]],[],[],[]] => [1,1,0,1,0,0,1,0,1,0,1,0] => [1,1,1,0,1,0,0,1,0,1,0,1,0,0] => [3,4,2,5,6,7,1] => 21
[[[[]]],[],[],[]] => [1,1,1,0,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,1,0,0] => [4,3,2,5,6,7,1] => 42
[[[],[],[]],[],[]] => [1,1,0,1,0,1,0,0,1,0,1,0] => [1,1,1,0,1,0,1,0,0,1,0,1,0,0] => [3,4,5,2,6,7,1] => 28
[[[[]],[]],[],[]] => [1,1,1,0,0,1,0,0,1,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,1,0,0] => [4,3,5,2,6,7,1] => 56
[[[],[],[],[]],[]] => [1,1,0,1,0,1,0,1,0,0,1,0] => [1,1,1,0,1,0,1,0,1,0,0,1,0,0] => [3,4,5,6,2,7,1] => 35
[[[[[[[]]]]]]] => [1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [7,6,5,4,3,2,1] => 5040
[[],[],[],[],[],[],[]] => [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0] => [2,3,4,5,6,7,8,1] => 8
[[],[],[[],[],[[]]]] => [1,0,1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,0,1,0,1,1,0,1,0,1,1,0,0,0,0] => [2,3,5,6,8,7,4,1] => 80
[[],[[[[],[[]]]]]] => [1,0,1,1,1,1,0,1,1,0,0,0,0,0] => [1,1,0,1,1,1,1,0,1,1,0,0,0,0,0,0] => [2,6,8,7,5,4,3,1] => 1920
[[[]],[],[],[],[],[]] => [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,1,0,1,0,0] => [3,2,4,5,6,7,8,1] => 16
[[[]],[[]],[[]],[]] => [1,1,0,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,1,1,0,0,1,0,0] => [3,2,5,4,7,6,8,1] => 64
[[[]],[[[]]],[[]]] => [1,1,0,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,0,1,1,1,0,0,0,1,1,0,0,0] => [3,2,6,5,4,8,7,1] => 192
[[[]],[[[]],[]],[]] => [1,1,0,0,1,1,1,0,0,1,0,0,1,0] => [1,1,1,0,0,1,1,1,0,0,1,0,0,1,0,0] => [3,2,6,5,7,4,8,1] => 128
[[[],[]],[],[],[],[]] => [1,1,0,1,0,0,1,0,1,0,1,0,1,0] => [1,1,1,0,1,0,0,1,0,1,0,1,0,1,0,0] => [3,4,2,5,6,7,8,1] => 24
[[[[]]],[],[],[],[]] => [1,1,1,0,0,0,1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,1,0,1,0,0] => [4,3,2,5,6,7,8,1] => 48
[[[],[],[]],[],[],[]] => [1,1,0,1,0,1,0,0,1,0,1,0,1,0] => [1,1,1,0,1,0,1,0,0,1,0,1,0,1,0,0] => [3,4,5,2,6,7,8,1] => 32
[[[[]],[]],[[]],[]] => [1,1,1,0,0,1,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,1,0,0,1,0,0] => [4,3,5,2,7,6,8,1] => 128
[[[[]],[[]],[]],[]] => [1,1,1,0,0,1,1,0,0,1,0,0,1,0] => [1,1,1,1,0,0,1,1,0,0,1,0,0,1,0,0] => [4,3,6,5,7,2,8,1] => 192
[[[[[]],[]],[]],[]] => [1,1,1,1,0,0,1,0,0,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,1,0,0,1,0,0] => [5,4,6,3,7,2,8,1] => 384
[[[[[[]]]],[]],[]] => [1,1,1,1,1,0,0,0,0,1,0,0,1,0] => [1,1,1,1,1,1,0,0,0,0,1,0,0,1,0,0] => [6,5,4,3,7,2,8,1] => 1152
[[[[[[]],[]]]],[]] => [1,1,1,1,1,0,0,1,0,0,0,0,1,0] => [1,1,1,1,1,1,0,0,1,0,0,0,0,1,0,0] => [6,5,7,4,3,2,8,1] => 1920
[[[[[[[]]]]]],[]] => [1,1,1,1,1,1,0,0,0,0,0,0,1,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,1,0,0] => [7,6,5,4,3,2,8,1] => 5760
[[[],[[],[[[]]]]]] => [1,1,0,1,1,0,1,1,1,0,0,0,0,0] => [1,1,1,0,1,1,0,1,1,1,0,0,0,0,0,0] => [3,5,8,7,6,4,2,1] => 1680
[[[[]],[[]],[[]]]] => [1,1,1,0,0,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,1,1,0,0,0,0] => [4,3,6,5,8,7,2,1] => 448
[[[[[[]],[]],[]]]] => [1,1,1,1,1,0,0,1,0,0,1,0,0,0] => [1,1,1,1,1,1,0,0,1,0,0,1,0,0,0,0] => [6,5,7,4,8,3,2,1] => 2688
[[[[[[[]]]],[]]]] => [1,1,1,1,1,1,0,0,0,0,1,0,0,0] => [1,1,1,1,1,1,1,0,0,0,0,1,0,0,0,0] => [7,6,5,4,8,3,2,1] => 8064
[[[[[[]],[[]]]]]] => [1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0] => [6,5,8,7,4,3,2,1] => 6720
[[[[[[[]],[]]]]]] => [1,1,1,1,1,1,0,0,1,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0] => [7,6,8,5,4,3,2,1] => 13440
[[[[[[[[]]]]]]]] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0] => [8,7,6,5,4,3,2,1] => 40320
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of permutations less than or equal to a permutation in left weak order.
This is the same as the number of permutations less than or equal to the given permutation in right weak order.
Map
to 312-avoiding permutation
Description
Sends a Dyck path to the 312-avoiding permutation according to Bandlow-Killpatrick.
This map is defined in [1] and sends the area (St000012The area of a Dyck path.) to the inversion number (St000018The number of inversions of a permutation.).
Map
prime Dyck path
Description
Return the Dyck path obtained by adding an initial up and a final down step.
Map
to Dyck path
Description
Return the Dyck path of the corresponding ordered tree induced by the recurrence of the Catalan numbers, see wikipedia:Catalan_number.
This sends the maximal height of the Dyck path to the depth of the tree.