*****************************************************************************
* www.FindStat.org - The Combinatorial Statistic Finder *
* *
* Copyright (C) 2019 The FindStatCrew <info@findstat.org> *
* *
* This information is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *
*****************************************************************************
-----------------------------------------------------------------------------
Statistic identifier: St001855
-----------------------------------------------------------------------------
Collection: Signed permutations
-----------------------------------------------------------------------------
Description: The number of signed permutations less than or equal to a signed permutation in left weak order.
-----------------------------------------------------------------------------
References:
-----------------------------------------------------------------------------
Code:
def statistic(pi):
return pi.binary_factorizations().cardinality()
-----------------------------------------------------------------------------
Statistic values:
[1] => 1
[-1] => 2
[1,2] => 1
[1,-2] => 2
[-1,2] => 4
[-1,-2] => 8
[2,1] => 2
[2,-1] => 3
[-2,1] => 3
[-2,-1] => 4
[1,2,3] => 1
[1,2,-3] => 2
[1,-2,3] => 4
[1,-2,-3] => 8
[-1,2,3] => 6
[-1,2,-3] => 12
[-1,-2,3] => 24
[-1,-2,-3] => 48
[1,3,2] => 2
[1,3,-2] => 3
[1,-3,2] => 3
[1,-3,-2] => 4
[-1,3,2] => 12
[-1,3,-2] => 18
[-1,-3,2] => 18
[-1,-3,-2] => 24
[2,1,3] => 2
[2,1,-3] => 4
[2,-1,3] => 5
[2,-1,-3] => 10
[-2,1,3] => 5
[-2,1,-3] => 10
[-2,-1,3] => 12
[-2,-1,-3] => 24
[2,3,1] => 3
[2,3,-1] => 4
[2,-3,1] => 5
[2,-3,-1] => 6
[-2,3,1] => 9
[-2,3,-1] => 11
[-2,-3,1] => 14
[-2,-3,-1] => 16
[3,1,2] => 3
[3,1,-2] => 5
[3,-1,2] => 9
[3,-1,-2] => 14
[-3,1,2] => 4
[-3,1,-2] => 6
[-3,-1,2] => 11
[-3,-1,-2] => 16
[3,2,1] => 6
[3,2,-1] => 8
[3,-2,1] => 6
[3,-2,-1] => 7
[-3,2,1] => 8
[-3,2,-1] => 10
[-3,-2,1] => 7
[-3,-2,-1] => 8
[1,2,3,4] => 1
[1,2,3,-4] => 2
[1,2,-3,4] => 4
[1,2,-3,-4] => 8
[1,-2,3,4] => 6
[1,-2,3,-4] => 12
[1,-2,-3,4] => 24
[1,-2,-3,-4] => 48
[-1,2,3,4] => 8
[-1,2,3,-4] => 16
[-1,2,-3,4] => 32
[-1,2,-3,-4] => 64
[-1,-2,3,4] => 48
[-1,-2,3,-4] => 96
[-1,-2,-3,4] => 192
[-1,-2,-3,-4] => 384
[1,2,4,3] => 2
[1,2,4,-3] => 3
[1,2,-4,3] => 3
[1,2,-4,-3] => 4
[1,-2,4,3] => 12
[1,-2,4,-3] => 18
[1,-2,-4,3] => 18
[1,-2,-4,-3] => 24
[-1,2,4,3] => 16
[-1,2,4,-3] => 24
[-1,2,-4,3] => 24
[-1,2,-4,-3] => 32
[-1,-2,4,3] => 96
[-1,-2,4,-3] => 144
[-1,-2,-4,3] => 144
[-1,-2,-4,-3] => 192
[1,3,2,4] => 2
[1,3,2,-4] => 4
[1,3,-2,4] => 5
[1,3,-2,-4] => 10
[1,-3,2,4] => 5
[1,-3,2,-4] => 10
[1,-3,-2,4] => 12
[1,-3,-2,-4] => 24
[-1,3,2,4] => 16
[-1,3,2,-4] => 32
[-1,3,-2,4] => 40
[-1,3,-2,-4] => 80
[-1,-3,2,4] => 40
[-1,-3,2,-4] => 80
[-1,-3,-2,4] => 96
[-1,-3,-2,-4] => 192
[1,3,4,2] => 3
[1,3,4,-2] => 4
[1,3,-4,2] => 5
[1,3,-4,-2] => 6
[1,-3,4,2] => 9
[1,-3,4,-2] => 11
[1,-3,-4,2] => 14
[1,-3,-4,-2] => 16
[-1,3,4,2] => 24
[-1,3,4,-2] => 32
[-1,3,-4,2] => 40
[-1,3,-4,-2] => 48
[-1,-3,4,2] => 72
[-1,-3,4,-2] => 88
[-1,-3,-4,2] => 112
[-1,-3,-4,-2] => 128
[1,4,2,3] => 3
[1,4,2,-3] => 5
[1,4,-2,3] => 9
[1,4,-2,-3] => 14
[1,-4,2,3] => 4
[1,-4,2,-3] => 6
[1,-4,-2,3] => 11
[1,-4,-2,-3] => 16
[-1,4,2,3] => 24
[-1,4,2,-3] => 40
[-1,4,-2,3] => 72
[-1,4,-2,-3] => 112
[-1,-4,2,3] => 32
[-1,-4,2,-3] => 48
[-1,-4,-2,3] => 88
[-1,-4,-2,-3] => 128
[1,4,3,2] => 6
[1,4,3,-2] => 8
[1,4,-3,2] => 6
[1,4,-3,-2] => 7
[1,-4,3,2] => 8
[1,-4,3,-2] => 10
[1,-4,-3,2] => 7
[1,-4,-3,-2] => 8
[-1,4,3,2] => 48
[-1,4,3,-2] => 64
[-1,4,-3,2] => 48
[-1,4,-3,-2] => 56
[-1,-4,3,2] => 64
[-1,-4,3,-2] => 80
[-1,-4,-3,2] => 56
[-1,-4,-3,-2] => 64
[2,1,3,4] => 2
[2,1,3,-4] => 4
[2,1,-3,4] => 8
[2,1,-3,-4] => 16
[2,-1,3,4] => 7
[2,-1,3,-4] => 14
[2,-1,-3,4] => 28
[2,-1,-3,-4] => 56
[-2,1,3,4] => 7
[-2,1,3,-4] => 14
[-2,1,-3,4] => 28
[-2,1,-3,-4] => 56
[-2,-1,3,4] => 24
[-2,-1,3,-4] => 48
[-2,-1,-3,4] => 96
[-2,-1,-3,-4] => 192
[2,1,4,3] => 4
[2,1,4,-3] => 6
[2,1,-4,3] => 6
[2,1,-4,-3] => 8
[2,-1,4,3] => 14
[2,-1,4,-3] => 21
[2,-1,-4,3] => 21
[2,-1,-4,-3] => 28
[-2,1,4,3] => 14
[-2,1,4,-3] => 21
[-2,1,-4,3] => 21
[-2,1,-4,-3] => 28
[-2,-1,4,3] => 48
[-2,-1,4,-3] => 72
[-2,-1,-4,3] => 72
[-2,-1,-4,-3] => 96
[2,3,1,4] => 3
[2,3,1,-4] => 6
[2,3,-1,4] => 6
[2,3,-1,-4] => 12
[2,-3,1,4] => 9
[2,-3,1,-4] => 18
[2,-3,-1,4] => 16
[2,-3,-1,-4] => 32
[-2,3,1,4] => 13
[-2,3,1,-4] => 26
[-2,3,-1,4] => 23
[-2,3,-1,-4] => 46
[-2,-3,1,4] => 34
[-2,-3,1,-4] => 68
[-2,-3,-1,4] => 64
[-2,-3,-1,-4] => 128
[2,3,4,1] => 4
[2,3,4,-1] => 5
[2,3,-4,1] => 7
[2,3,-4,-1] => 8
[2,-3,4,1] => 13
[2,-3,4,-1] => 15
[2,-3,-4,1] => 22
[2,-3,-4,-1] => 24
[-2,3,4,1] => 18
[-2,3,4,-1] => 21
[-2,3,-4,1] => 31
[-2,3,-4,-1] => 34
[-2,-3,4,1] => 56
[-2,-3,4,-1] => 62
[-2,-3,-4,1] => 90
[-2,-3,-4,-1] => 96
[2,4,1,3] => 5
[2,4,1,-3] => 8
[2,4,-1,3] => 11
[2,4,-1,-3] => 17
[2,-4,1,3] => 7
[2,-4,1,-3] => 10
[2,-4,-1,3] => 14
[2,-4,-1,-3] => 20
[-2,4,1,3] => 20
[-2,4,1,-3] => 33
[-2,4,-1,3] => 44
[-2,4,-1,-3] => 67
[-2,-4,1,3] => 27
[-2,-4,1,-3] => 40
[-2,-4,-1,3] => 57
[-2,-4,-1,-3] => 80
[2,4,3,1] => 8
[2,4,3,-1] => 10
[2,4,-3,1] => 9
[2,4,-3,-1] => 10
[2,-4,3,1] => 11
[2,-4,3,-1] => 13
[2,-4,-3,1] => 11
[2,-4,-3,-1] => 12
[-2,4,3,1] => 36
[-2,4,3,-1] => 42
[-2,4,-3,1] => 38
[-2,4,-3,-1] => 41
[-2,-4,3,1] => 49
[-2,-4,3,-1] => 55
[-2,-4,-3,1] => 45
[-2,-4,-3,-1] => 48
[3,1,2,4] => 3
[3,1,2,-4] => 6
[3,1,-2,4] => 9
[3,1,-2,-4] => 18
[3,-1,2,4] => 13
[3,-1,2,-4] => 26
[3,-1,-2,4] => 34
[3,-1,-2,-4] => 68
[-3,1,2,4] => 6
[-3,1,2,-4] => 12
[-3,1,-2,4] => 16
[-3,1,-2,-4] => 32
[-3,-1,2,4] => 23
[-3,-1,2,-4] => 46
[-3,-1,-2,4] => 64
[-3,-1,-2,-4] => 128
[3,1,4,2] => 5
[3,1,4,-2] => 7
[3,1,-4,2] => 8
[3,1,-4,-2] => 10
[3,-1,4,2] => 20
[3,-1,4,-2] => 27
[3,-1,-4,2] => 33
[3,-1,-4,-2] => 40
[-3,1,4,2] => 11
[-3,1,4,-2] => 14
[-3,1,-4,2] => 17
[-3,1,-4,-2] => 20
[-3,-1,4,2] => 44
[-3,-1,4,-2] => 57
[-3,-1,-4,2] => 67
[-3,-1,-4,-2] => 80
[3,2,1,4] => 6
[3,2,1,-4] => 12
[3,2,-1,4] => 12
[3,2,-1,-4] => 24
[3,-2,1,4] => 10
[3,-2,1,-4] => 20
[3,-2,-1,4] => 17
[3,-2,-1,-4] => 34
[-3,2,1,4] => 12
[-3,2,1,-4] => 24
[-3,2,-1,4] => 22
[-3,2,-1,-4] => 44
[-3,-2,1,4] => 17
[-3,-2,1,-4] => 34
[-3,-2,-1,4] => 32
[-3,-2,-1,-4] => 64
[3,2,4,1] => 8
[3,2,4,-1] => 10
[3,2,-4,1] => 14
[3,2,-4,-1] => 16
[3,-2,4,1] => 14
[3,-2,4,-1] => 16
[3,-2,-4,1] => 24
[3,-2,-4,-1] => 26
[-3,2,4,1] => 17
[-3,2,4,-1] => 20
[-3,2,-4,1] => 29
[-3,2,-4,-1] => 32
[-3,-2,4,1] => 28
[-3,-2,4,-1] => 31
[-3,-2,-4,1] => 45
[-3,-2,-4,-1] => 48
[3,4,1,2] => 6
[3,4,1,-2] => 9
[3,4,-1,2] => 16
[3,4,-1,-2] => 22
[3,-4,1,2] => 9
[3,-4,1,-2] => 12
[3,-4,-1,2] => 22
[3,-4,-1,-2] => 28
[-3,4,1,2] => 16
[-3,4,1,-2] => 22
[-3,4,-1,2] => 40
[-3,4,-1,-2] => 52
[-3,-4,1,2] => 22
[-3,-4,1,-2] => 28
[-3,-4,-1,2] => 52
[-3,-4,-1,-2] => 64
[3,4,2,1] => 12
[3,4,2,-1] => 15
[3,4,-2,1] => 10
[3,4,-2,-1] => 11
[3,-4,2,1] => 18
[3,-4,2,-1] => 21
[3,-4,-2,1] => 13
[3,-4,-2,-1] => 14
[-3,4,2,1] => 32
[-3,4,2,-1] => 38
[-3,4,-2,1] => 24
[-3,4,-2,-1] => 26
[-3,-4,2,1] => 44
[-3,-4,2,-1] => 50
[-3,-4,-2,1] => 30
[-3,-4,-2,-1] => 32
[4,1,2,3] => 4
[4,1,2,-3] => 7
[4,1,-2,3] => 13
[4,1,-2,-3] => 22
[4,-1,2,3] => 18
[4,-1,2,-3] => 31
[4,-1,-2,3] => 56
[4,-1,-2,-3] => 90
[-4,1,2,3] => 5
[-4,1,2,-3] => 8
[-4,1,-2,3] => 15
[-4,1,-2,-3] => 24
[-4,-1,2,3] => 21
[-4,-1,2,-3] => 34
[-4,-1,-2,3] => 62
[-4,-1,-2,-3] => 96
[4,1,3,2] => 8
[4,1,3,-2] => 11
[4,1,-3,2] => 9
[4,1,-3,-2] => 11
[4,-1,3,2] => 36
[4,-1,3,-2] => 49
[4,-1,-3,2] => 38
[4,-1,-3,-2] => 45
[-4,1,3,2] => 10
[-4,1,3,-2] => 13
[-4,1,-3,2] => 10
[-4,1,-3,-2] => 12
[-4,-1,3,2] => 42
[-4,-1,3,-2] => 55
[-4,-1,-3,2] => 41
[-4,-1,-3,-2] => 48
[4,2,1,3] => 8
[4,2,1,-3] => 14
[4,2,-1,3] => 17
[4,2,-1,-3] => 29
[4,-2,1,3] => 14
[4,-2,1,-3] => 24
[4,-2,-1,3] => 28
[4,-2,-1,-3] => 45
[-4,2,1,3] => 10
[-4,2,1,-3] => 16
[-4,2,-1,3] => 20
[-4,2,-1,-3] => 32
[-4,-2,1,3] => 16
[-4,-2,1,-3] => 26
[-4,-2,-1,3] => 31
[-4,-2,-1,-3] => 48
[4,2,3,1] => 12
[4,2,3,-1] => 15
[4,2,-3,1] => 16
[4,2,-3,-1] => 18
[4,-2,3,1] => 24
[4,-2,3,-1] => 27
[4,-2,-3,1] => 28
[4,-2,-3,-1] => 30
[-4,2,3,1] => 15
[-4,2,3,-1] => 18
[-4,2,-3,1] => 18
[-4,2,-3,-1] => 20
[-4,-2,3,1] => 27
[-4,-2,3,-1] => 30
[-4,-2,-3,1] => 30
[-4,-2,-3,-1] => 32
[4,3,1,2] => 12
[4,3,1,-2] => 18
[4,3,-1,2] => 32
[4,3,-1,-2] => 44
[4,-3,1,2] => 10
[4,-3,1,-2] => 13
[4,-3,-1,2] => 24
[4,-3,-1,-2] => 30
[-4,3,1,2] => 15
[-4,3,1,-2] => 21
[-4,3,-1,2] => 38
[-4,3,-1,-2] => 50
[-4,-3,1,2] => 11
[-4,-3,1,-2] => 14
[-4,-3,-1,2] => 26
[-4,-3,-1,-2] => 32
[4,3,2,1] => 24
[4,3,2,-1] => 30
[4,3,-2,1] => 20
[4,3,-2,-1] => 22
[4,-3,2,1] => 20
[4,-3,2,-1] => 23
[4,-3,-2,1] => 14
[4,-3,-2,-1] => 15
[-4,3,2,1] => 30
[-4,3,2,-1] => 36
[-4,3,-2,1] => 23
[-4,3,-2,-1] => 25
[-4,-3,2,1] => 22
[-4,-3,2,-1] => 25
[-4,-3,-2,1] => 15
[-4,-3,-2,-1] => 16
[1,2,3,4,5] => 1
[1,2,3,4,-5] => 2
[1,2,3,-4,5] => 4
[1,2,3,-4,-5] => 8
[1,2,-3,4,5] => 6
[1,2,-3,4,-5] => 12
[1,2,-3,-4,5] => 24
[1,2,-3,-4,-5] => 48
[1,-2,3,4,5] => 8
[1,-2,3,4,-5] => 16
[1,-2,3,-4,5] => 32
[1,-2,3,-4,-5] => 64
[1,-2,-3,4,5] => 48
[1,-2,-3,4,-5] => 96
[1,-2,-3,-4,5] => 192
[1,-2,-3,-4,-5] => 384
[-1,2,3,4,5] => 10
[-1,2,3,4,-5] => 20
[-1,2,3,-4,5] => 40
[-1,2,3,-4,-5] => 80
[-1,2,-3,4,5] => 60
[-1,2,-3,4,-5] => 120
[-1,2,-3,-4,5] => 240
[-1,2,-3,-4,-5] => 480
[-1,-2,3,4,5] => 80
[-1,-2,3,4,-5] => 160
[-1,-2,3,-4,5] => 320
[-1,-2,3,-4,-5] => 640
[-1,-2,-3,4,5] => 480
[-1,-2,-3,4,-5] => 960
[-1,-2,-3,-4,5] => 1920
[-1,-2,-3,-4,-5] => 3840
[1,2,3,5,4] => 2
[1,2,3,5,-4] => 3
[1,2,3,-5,4] => 3
[1,2,3,-5,-4] => 4
[1,2,-3,5,4] => 12
[1,2,-3,5,-4] => 18
[1,2,-3,-5,4] => 18
[1,2,-3,-5,-4] => 24
[1,-2,3,5,4] => 16
[1,-2,3,5,-4] => 24
[1,-2,3,-5,4] => 24
[1,-2,3,-5,-4] => 32
[1,-2,-3,5,4] => 96
[1,-2,-3,5,-4] => 144
[1,-2,-3,-5,4] => 144
[1,-2,-3,-5,-4] => 192
[-1,2,3,5,4] => 20
[-1,2,3,5,-4] => 30
[-1,2,3,-5,4] => 30
[-1,2,3,-5,-4] => 40
[-1,2,-3,5,4] => 120
[-1,2,-3,5,-4] => 180
[-1,2,-3,-5,4] => 180
[-1,2,-3,-5,-4] => 240
[-1,-2,3,5,4] => 160
[-1,-2,3,5,-4] => 240
[-1,-2,3,-5,4] => 240
[-1,-2,3,-5,-4] => 320
[-1,-2,-3,5,4] => 960
[-1,-2,-3,5,-4] => 1440
[-1,-2,-3,-5,4] => 1440
[-1,-2,-3,-5,-4] => 1920
[1,2,4,3,5] => 2
[1,2,4,3,-5] => 4
[1,2,4,-3,5] => 5
[1,2,4,-3,-5] => 10
[1,2,-4,3,5] => 5
[1,2,-4,3,-5] => 10
[1,2,-4,-3,5] => 12
[1,2,-4,-3,-5] => 24
[1,-2,4,3,5] => 16
[1,-2,4,3,-5] => 32
[1,-2,4,-3,5] => 40
[1,-2,4,-3,-5] => 80
[1,-2,-4,3,5] => 40
[1,-2,-4,3,-5] => 80
[1,-2,-4,-3,5] => 96
[1,-2,-4,-3,-5] => 192
[-1,2,4,3,5] => 20
[-1,2,4,3,-5] => 40
[-1,2,4,-3,5] => 50
[-1,2,4,-3,-5] => 100
[-1,2,-4,3,5] => 50
[-1,2,-4,3,-5] => 100
[-1,2,-4,-3,5] => 120
[-1,2,-4,-3,-5] => 240
[-1,-2,4,3,5] => 160
[-1,-2,4,3,-5] => 320
[-1,-2,4,-3,5] => 400
[-1,-2,4,-3,-5] => 800
[-1,-2,-4,3,5] => 400
[-1,-2,-4,3,-5] => 800
[-1,-2,-4,-3,5] => 960
[-1,-2,-4,-3,-5] => 1920
[1,2,4,5,3] => 3
[1,2,4,5,-3] => 4
[1,2,4,-5,3] => 5
[1,2,4,-5,-3] => 6
[1,2,-4,5,3] => 9
[1,2,-4,5,-3] => 11
[1,2,-4,-5,3] => 14
[1,2,-4,-5,-3] => 16
[1,-2,4,5,3] => 24
[1,-2,4,5,-3] => 32
[1,-2,4,-5,3] => 40
[1,-2,4,-5,-3] => 48
[1,-2,-4,5,3] => 72
[1,-2,-4,5,-3] => 88
[1,-2,-4,-5,3] => 112
[1,-2,-4,-5,-3] => 128
[-1,2,4,5,3] => 30
[-1,2,4,5,-3] => 40
[-1,2,4,-5,3] => 50
[-1,2,4,-5,-3] => 60
[-1,2,-4,5,3] => 90
[-1,2,-4,5,-3] => 110
[-1,2,-4,-5,3] => 140
[-1,2,-4,-5,-3] => 160
[-1,-2,4,5,3] => 240
[-1,-2,4,5,-3] => 320
[-1,-2,4,-5,3] => 400
[-1,-2,4,-5,-3] => 480
[-1,-2,-4,5,3] => 720
[-1,-2,-4,5,-3] => 880
[-1,-2,-4,-5,3] => 1120
[-1,-2,-4,-5,-3] => 1280
[1,2,5,3,4] => 3
[1,2,5,3,-4] => 5
[1,2,5,-3,4] => 9
[1,2,5,-3,-4] => 14
[1,2,-5,3,4] => 4
[1,2,-5,3,-4] => 6
[1,2,-5,-3,4] => 11
[1,2,-5,-3,-4] => 16
[1,-2,5,3,4] => 24
[1,-2,5,3,-4] => 40
[1,-2,5,-3,4] => 72
[1,-2,5,-3,-4] => 112
[1,-2,-5,3,4] => 32
[1,-2,-5,3,-4] => 48
[1,-2,-5,-3,4] => 88
[1,-2,-5,-3,-4] => 128
[-1,2,5,3,4] => 30
[-1,2,5,3,-4] => 50
[-1,2,5,-3,4] => 90
[-1,2,5,-3,-4] => 140
[-1,2,-5,3,4] => 40
[-1,2,-5,3,-4] => 60
[-1,2,-5,-3,4] => 110
[-1,2,-5,-3,-4] => 160
[-1,-2,5,3,4] => 240
[-1,-2,5,3,-4] => 400
[-1,-2,5,-3,4] => 720
[-1,-2,5,-3,-4] => 1120
[-1,-2,-5,3,4] => 320
[-1,-2,-5,3,-4] => 480
[-1,-2,-5,-3,4] => 880
[-1,-2,-5,-3,-4] => 1280
[1,2,5,4,3] => 6
[1,2,5,4,-3] => 8
[1,2,5,-4,3] => 6
[1,2,5,-4,-3] => 7
[1,2,-5,4,3] => 8
[1,2,-5,4,-3] => 10
[1,2,-5,-4,3] => 7
[1,2,-5,-4,-3] => 8
[1,-2,5,4,3] => 48
[1,-2,5,4,-3] => 64
[1,-2,5,-4,3] => 48
[1,-2,5,-4,-3] => 56
[1,-2,-5,4,3] => 64
[1,-2,-5,4,-3] => 80
[1,-2,-5,-4,3] => 56
[1,-2,-5,-4,-3] => 64
[-1,2,5,4,3] => 60
[-1,2,5,4,-3] => 80
[-1,2,5,-4,3] => 60
[-1,2,5,-4,-3] => 70
[-1,2,-5,4,3] => 80
[-1,2,-5,4,-3] => 100
[-1,2,-5,-4,3] => 70
[-1,2,-5,-4,-3] => 80
[-1,-2,5,4,3] => 480
[-1,-2,5,4,-3] => 640
[-1,-2,5,-4,3] => 480
[-1,-2,5,-4,-3] => 560
[-1,-2,-5,4,3] => 640
[-1,-2,-5,4,-3] => 800
[-1,-2,-5,-4,3] => 560
[-1,-2,-5,-4,-3] => 640
[1,3,2,4,5] => 2
[1,3,2,4,-5] => 4
[1,3,2,-4,5] => 8
[1,3,2,-4,-5] => 16
[1,3,-2,4,5] => 7
[1,3,-2,4,-5] => 14
[1,3,-2,-4,5] => 28
[1,3,-2,-4,-5] => 56
[1,-3,2,4,5] => 7
[1,-3,2,4,-5] => 14
[1,-3,2,-4,5] => 28
[1,-3,2,-4,-5] => 56
[1,-3,-2,4,5] => 24
[1,-3,-2,4,-5] => 48
[1,-3,-2,-4,5] => 96
[1,-3,-2,-4,-5] => 192
[-1,3,2,4,5] => 20
[-1,3,2,4,-5] => 40
[-1,3,2,-4,5] => 80
[-1,3,2,-4,-5] => 160
[-1,3,-2,4,5] => 70
[-1,3,-2,4,-5] => 140
[-1,3,-2,-4,5] => 280
[-1,3,-2,-4,-5] => 560
[-1,-3,2,4,5] => 70
[-1,-3,2,4,-5] => 140
[-1,-3,2,-4,5] => 280
[-1,-3,2,-4,-5] => 560
[-1,-3,-2,4,5] => 240
[-1,-3,-2,4,-5] => 480
[-1,-3,-2,-4,5] => 960
[-1,-3,-2,-4,-5] => 1920
[1,3,2,5,4] => 4
[1,3,2,5,-4] => 6
[1,3,2,-5,4] => 6
[1,3,2,-5,-4] => 8
[1,3,-2,5,4] => 14
[1,3,-2,5,-4] => 21
[1,3,-2,-5,4] => 21
[1,3,-2,-5,-4] => 28
[1,-3,2,5,4] => 14
[1,-3,2,5,-4] => 21
[1,-3,2,-5,4] => 21
[1,-3,2,-5,-4] => 28
[1,-3,-2,5,4] => 48
[1,-3,-2,5,-4] => 72
[1,-3,-2,-5,4] => 72
[1,-3,-2,-5,-4] => 96
[-1,3,2,5,4] => 40
[-1,3,2,5,-4] => 60
[-1,3,2,-5,4] => 60
[-1,3,2,-5,-4] => 80
[-1,3,-2,5,4] => 140
[-1,3,-2,5,-4] => 210
[-1,3,-2,-5,4] => 210
[-1,3,-2,-5,-4] => 280
[-1,-3,2,5,4] => 140
[-1,-3,2,5,-4] => 210
[-1,-3,2,-5,4] => 210
[-1,-3,2,-5,-4] => 280
[-1,-3,-2,5,4] => 480
[-1,-3,-2,5,-4] => 720
[-1,-3,-2,-5,4] => 720
[-1,-3,-2,-5,-4] => 960
[1,3,4,2,5] => 3
[1,3,4,2,-5] => 6
[1,3,4,-2,5] => 6
[1,3,4,-2,-5] => 12
[1,3,-4,2,5] => 9
[1,3,-4,2,-5] => 18
[1,3,-4,-2,5] => 16
[1,3,-4,-2,-5] => 32
[1,-3,4,2,5] => 13
[1,-3,4,2,-5] => 26
[1,-3,4,-2,5] => 23
[1,-3,4,-2,-5] => 46
[1,-3,-4,2,5] => 34
[1,-3,-4,2,-5] => 68
[1,-3,-4,-2,5] => 64
[1,-3,-4,-2,-5] => 128
[-1,3,4,2,5] => 30
[-1,3,4,2,-5] => 60
[-1,3,4,-2,5] => 60
[-1,3,4,-2,-5] => 120
[-1,3,-4,2,5] => 90
[-1,3,-4,2,-5] => 180
[-1,3,-4,-2,5] => 160
[-1,3,-4,-2,-5] => 320
[-1,-3,4,2,5] => 130
[-1,-3,4,2,-5] => 260
[-1,-3,4,-2,5] => 230
[-1,-3,4,-2,-5] => 460
[-1,-3,-4,2,5] => 340
[-1,-3,-4,2,-5] => 680
[-1,-3,-4,-2,5] => 640
[-1,-3,-4,-2,-5] => 1280
[1,3,4,5,2] => 4
[1,3,4,5,-2] => 5
[1,3,4,-5,2] => 7
[1,3,4,-5,-2] => 8
[1,3,-4,5,2] => 13
[1,3,-4,5,-2] => 15
[1,3,-4,-5,2] => 22
[1,3,-4,-5,-2] => 24
[1,-3,4,5,2] => 18
[1,-3,4,5,-2] => 21
[1,-3,4,-5,2] => 31
[1,-3,4,-5,-2] => 34
[1,-3,-4,5,2] => 56
[1,-3,-4,5,-2] => 62
[1,-3,-4,-5,2] => 90
[1,-3,-4,-5,-2] => 96
[-1,3,4,5,2] => 40
[-1,3,4,5,-2] => 50
[-1,3,4,-5,2] => 70
[-1,3,4,-5,-2] => 80
[-1,3,-4,5,2] => 130
[-1,3,-4,5,-2] => 150
[-1,3,-4,-5,2] => 220
[-1,3,-4,-5,-2] => 240
[-1,-3,4,5,2] => 180
[-1,-3,4,5,-2] => 210
[-1,-3,4,-5,2] => 310
[-1,-3,4,-5,-2] => 340
[-1,-3,-4,5,2] => 560
[-1,-3,-4,5,-2] => 620
[-1,-3,-4,-5,2] => 900
[-1,-3,-4,-5,-2] => 960
[1,3,5,2,4] => 5
[1,3,5,2,-4] => 8
[1,3,5,-2,4] => 11
[1,3,5,-2,-4] => 17
[1,3,-5,2,4] => 7
[1,3,-5,2,-4] => 10
[1,3,-5,-2,4] => 14
[1,3,-5,-2,-4] => 20
[1,-3,5,2,4] => 20
[1,-3,5,2,-4] => 33
[1,-3,5,-2,4] => 44
[1,-3,5,-2,-4] => 67
[1,-3,-5,2,4] => 27
[1,-3,-5,2,-4] => 40
[1,-3,-5,-2,4] => 57
[1,-3,-5,-2,-4] => 80
[-1,3,5,2,4] => 50
[-1,3,5,2,-4] => 80
[-1,3,5,-2,4] => 110
[-1,3,5,-2,-4] => 170
[-1,3,-5,2,4] => 70
[-1,3,-5,2,-4] => 100
[-1,3,-5,-2,4] => 140
[-1,3,-5,-2,-4] => 200
[-1,-3,5,2,4] => 200
[-1,-3,5,2,-4] => 330
[-1,-3,5,-2,4] => 440
[-1,-3,5,-2,-4] => 670
[-1,-3,-5,2,4] => 270
[-1,-3,-5,2,-4] => 400
[-1,-3,-5,-2,4] => 570
[-1,-3,-5,-2,-4] => 800
[1,3,5,4,2] => 8
[1,3,5,4,-2] => 10
[1,3,5,-4,2] => 9
[1,3,5,-4,-2] => 10
[1,3,-5,4,2] => 11
[1,3,-5,4,-2] => 13
[1,3,-5,-4,2] => 11
[1,3,-5,-4,-2] => 12
[1,-3,5,4,2] => 36
[1,-3,5,4,-2] => 42
[1,-3,5,-4,2] => 38
[1,-3,5,-4,-2] => 41
[1,-3,-5,4,2] => 49
[1,-3,-5,4,-2] => 55
[1,-3,-5,-4,2] => 45
[1,-3,-5,-4,-2] => 48
[-1,3,5,4,2] => 80
[-1,3,5,4,-2] => 100
[-1,3,5,-4,2] => 90
[-1,3,5,-4,-2] => 100
[-1,3,-5,4,2] => 110
[-1,3,-5,4,-2] => 130
[-1,3,-5,-4,2] => 110
[-1,3,-5,-4,-2] => 120
[-1,-3,5,4,2] => 360
[-1,-3,5,4,-2] => 420
[-1,-3,5,-4,2] => 380
[-1,-3,5,-4,-2] => 410
[-1,-3,-5,4,2] => 490
[-1,-3,-5,4,-2] => 550
[-1,-3,-5,-4,2] => 450
[-1,-3,-5,-4,-2] => 480
[1,4,2,3,5] => 3
[1,4,2,3,-5] => 6
[1,4,2,-3,5] => 9
[1,4,2,-3,-5] => 18
[1,4,-2,3,5] => 13
[1,4,-2,3,-5] => 26
[1,4,-2,-3,5] => 34
[1,4,-2,-3,-5] => 68
[1,-4,2,3,5] => 6
[1,-4,2,3,-5] => 12
[1,-4,2,-3,5] => 16
[1,-4,2,-3,-5] => 32
[1,-4,-2,3,5] => 23
[1,-4,-2,3,-5] => 46
[1,-4,-2,-3,5] => 64
[1,-4,-2,-3,-5] => 128
[-1,4,2,3,5] => 30
[-1,4,2,3,-5] => 60
[-1,4,2,-3,5] => 90
[-1,4,2,-3,-5] => 180
[-1,4,-2,3,5] => 130
[-1,4,-2,3,-5] => 260
[-1,4,-2,-3,5] => 340
[-1,4,-2,-3,-5] => 680
[-1,-4,2,3,5] => 60
[-1,-4,2,3,-5] => 120
[-1,-4,2,-3,5] => 160
[-1,-4,2,-3,-5] => 320
[-1,-4,-2,3,5] => 230
[-1,-4,-2,3,-5] => 460
[-1,-4,-2,-3,5] => 640
[-1,-4,-2,-3,-5] => 1280
[1,4,2,5,3] => 5
[1,4,2,5,-3] => 7
[1,4,2,-5,3] => 8
[1,4,2,-5,-3] => 10
[1,4,-2,5,3] => 20
[1,4,-2,5,-3] => 27
[1,4,-2,-5,3] => 33
[1,4,-2,-5,-3] => 40
[1,-4,2,5,3] => 11
[1,-4,2,5,-3] => 14
[1,-4,2,-5,3] => 17
[1,-4,2,-5,-3] => 20
[1,-4,-2,5,3] => 44
[1,-4,-2,5,-3] => 57
[1,-4,-2,-5,3] => 67
[1,-4,-2,-5,-3] => 80
[-1,4,2,5,3] => 50
[-1,4,2,5,-3] => 70
[-1,4,2,-5,3] => 80
[-1,4,2,-5,-3] => 100
[-1,4,-2,5,3] => 200
[-1,4,-2,5,-3] => 270
[-1,4,-2,-5,3] => 330
[-1,4,-2,-5,-3] => 400
[-1,-4,2,5,3] => 110
[-1,-4,2,5,-3] => 140
[-1,-4,2,-5,3] => 170
[-1,-4,2,-5,-3] => 200
[-1,-4,-2,5,3] => 440
[-1,-4,-2,5,-3] => 570
[-1,-4,-2,-5,3] => 670
[-1,-4,-2,-5,-3] => 800
[1,4,3,2,5] => 6
[1,4,3,2,-5] => 12
[1,4,3,-2,5] => 12
[1,4,3,-2,-5] => 24
[1,4,-3,2,5] => 10
[1,4,-3,2,-5] => 20
[1,4,-3,-2,5] => 17
[1,4,-3,-2,-5] => 34
[1,-4,3,2,5] => 12
[1,-4,3,2,-5] => 24
[1,-4,3,-2,5] => 22
[1,-4,3,-2,-5] => 44
[1,-4,-3,2,5] => 17
[1,-4,-3,2,-5] => 34
[1,-4,-3,-2,5] => 32
[1,-4,-3,-2,-5] => 64
[-1,4,3,2,5] => 60
[-1,4,3,2,-5] => 120
[-1,4,3,-2,5] => 120
[-1,4,3,-2,-5] => 240
[-1,4,-3,2,5] => 100
[-1,4,-3,2,-5] => 200
[-1,4,-3,-2,5] => 170
[-1,4,-3,-2,-5] => 340
[-1,-4,3,2,5] => 120
[-1,-4,3,2,-5] => 240
[-1,-4,3,-2,5] => 220
[-1,-4,3,-2,-5] => 440
[-1,-4,-3,2,5] => 170
[-1,-4,-3,2,-5] => 340
[-1,-4,-3,-2,5] => 320
[-1,-4,-3,-2,-5] => 640
[1,4,3,5,2] => 8
[1,4,3,5,-2] => 10
[1,4,3,-5,2] => 14
[1,4,3,-5,-2] => 16
[1,4,-3,5,2] => 14
[1,4,-3,5,-2] => 16
[1,4,-3,-5,2] => 24
[1,4,-3,-5,-2] => 26
[1,-4,3,5,2] => 17
[1,-4,3,5,-2] => 20
[1,-4,3,-5,2] => 29
[1,-4,3,-5,-2] => 32
[1,-4,-3,5,2] => 28
[1,-4,-3,5,-2] => 31
[1,-4,-3,-5,2] => 45
[1,-4,-3,-5,-2] => 48
[-1,4,3,5,2] => 80
[-1,4,3,5,-2] => 100
[-1,4,3,-5,2] => 140
[-1,4,3,-5,-2] => 160
[-1,4,-3,5,2] => 140
[-1,4,-3,5,-2] => 160
[-1,4,-3,-5,2] => 240
[-1,4,-3,-5,-2] => 260
[-1,-4,3,5,2] => 170
[-1,-4,3,5,-2] => 200
[-1,-4,3,-5,2] => 290
[-1,-4,3,-5,-2] => 320
[-1,-4,-3,5,2] => 280
[-1,-4,-3,5,-2] => 310
[-1,-4,-3,-5,2] => 450
[-1,-4,-3,-5,-2] => 480
[1,4,5,2,3] => 6
[1,4,5,2,-3] => 9
[1,4,5,-2,3] => 16
[1,4,5,-2,-3] => 22
[1,4,-5,2,3] => 9
[1,4,-5,2,-3] => 12
[1,4,-5,-2,3] => 22
[1,4,-5,-2,-3] => 28
[1,-4,5,2,3] => 16
[1,-4,5,2,-3] => 22
[1,-4,5,-2,3] => 40
[1,-4,5,-2,-3] => 52
[1,-4,-5,2,3] => 22
[1,-4,-5,2,-3] => 28
[1,-4,-5,-2,3] => 52
[1,-4,-5,-2,-3] => 64
[-1,4,5,2,3] => 60
[-1,4,5,2,-3] => 90
[-1,4,5,-2,3] => 160
[-1,4,5,-2,-3] => 220
[-1,4,-5,2,3] => 90
[-1,4,-5,2,-3] => 120
[-1,4,-5,-2,3] => 220
[-1,4,-5,-2,-3] => 280
[-1,-4,5,2,3] => 160
[-1,-4,5,2,-3] => 220
[-1,-4,5,-2,3] => 400
[-1,-4,5,-2,-3] => 520
[-1,-4,-5,2,3] => 220
[-1,-4,-5,2,-3] => 280
[-1,-4,-5,-2,3] => 520
[-1,-4,-5,-2,-3] => 640
[1,4,5,3,2] => 12
[1,4,5,3,-2] => 15
[1,4,5,-3,2] => 10
[1,4,5,-3,-2] => 11
[1,4,-5,3,2] => 18
[1,4,-5,3,-2] => 21
[1,4,-5,-3,2] => 13
[1,4,-5,-3,-2] => 14
[1,-4,5,3,2] => 32
[1,-4,5,3,-2] => 38
[1,-4,5,-3,2] => 24
[1,-4,5,-3,-2] => 26
[1,-4,-5,3,2] => 44
[1,-4,-5,3,-2] => 50
[1,-4,-5,-3,2] => 30
[1,-4,-5,-3,-2] => 32
[-1,4,5,3,2] => 120
[-1,4,5,3,-2] => 150
[-1,4,5,-3,2] => 100
[-1,4,5,-3,-2] => 110
[-1,4,-5,3,2] => 180
[-1,4,-5,3,-2] => 210
[-1,4,-5,-3,2] => 130
[-1,4,-5,-3,-2] => 140
[-1,-4,5,3,2] => 320
[-1,-4,5,3,-2] => 380
[-1,-4,5,-3,2] => 240
[-1,-4,5,-3,-2] => 260
[-1,-4,-5,3,2] => 440
[-1,-4,-5,3,-2] => 500
[-1,-4,-5,-3,2] => 300
[-1,-4,-5,-3,-2] => 320
[1,5,2,3,4] => 4
[1,5,2,3,-4] => 7
[1,5,2,-3,4] => 13
[1,5,2,-3,-4] => 22
[1,5,-2,3,4] => 18
[1,5,-2,3,-4] => 31
[1,5,-2,-3,4] => 56
[1,5,-2,-3,-4] => 90
[1,-5,2,3,4] => 5
[1,-5,2,3,-4] => 8
[1,-5,2,-3,4] => 15
[1,-5,2,-3,-4] => 24
[1,-5,-2,3,4] => 21
[1,-5,-2,3,-4] => 34
[1,-5,-2,-3,4] => 62
[1,-5,-2,-3,-4] => 96
[-1,5,2,3,4] => 40
[-1,5,2,3,-4] => 70
[-1,5,2,-3,4] => 130
[-1,5,2,-3,-4] => 220
[-1,5,-2,3,4] => 180
[-1,5,-2,3,-4] => 310
[-1,5,-2,-3,4] => 560
[-1,5,-2,-3,-4] => 900
[-1,-5,2,3,4] => 50
[-1,-5,2,3,-4] => 80
[-1,-5,2,-3,4] => 150
[-1,-5,2,-3,-4] => 240
[-1,-5,-2,3,4] => 210
[-1,-5,-2,3,-4] => 340
[-1,-5,-2,-3,4] => 620
[-1,-5,-2,-3,-4] => 960
[1,5,2,4,3] => 8
[1,5,2,4,-3] => 11
[1,5,2,-4,3] => 9
[1,5,2,-4,-3] => 11
[1,5,-2,4,3] => 36
[1,5,-2,4,-3] => 49
[1,5,-2,-4,3] => 38
[1,5,-2,-4,-3] => 45
[1,-5,2,4,3] => 10
[1,-5,2,4,-3] => 13
[1,-5,2,-4,3] => 10
[1,-5,2,-4,-3] => 12
[1,-5,-2,4,3] => 42
[1,-5,-2,4,-3] => 55
[1,-5,-2,-4,3] => 41
[1,-5,-2,-4,-3] => 48
[-1,5,2,4,3] => 80
[-1,5,2,4,-3] => 110
[-1,5,2,-4,3] => 90
[-1,5,2,-4,-3] => 110
[-1,5,-2,4,3] => 360
[-1,5,-2,4,-3] => 490
[-1,5,-2,-4,3] => 380
[-1,5,-2,-4,-3] => 450
[-1,-5,2,4,3] => 100
[-1,-5,2,4,-3] => 130
[-1,-5,2,-4,3] => 100
[-1,-5,2,-4,-3] => 120
[-1,-5,-2,4,3] => 420
[-1,-5,-2,4,-3] => 550
[-1,-5,-2,-4,3] => 410
[-1,-5,-2,-4,-3] => 480
[1,5,3,2,4] => 8
[1,5,3,2,-4] => 14
[1,5,3,-2,4] => 17
[1,5,3,-2,-4] => 29
[1,5,-3,2,4] => 14
[1,5,-3,2,-4] => 24
[1,5,-3,-2,4] => 28
[1,5,-3,-2,-4] => 45
[1,-5,3,2,4] => 10
[1,-5,3,2,-4] => 16
[1,-5,3,-2,4] => 20
[1,-5,3,-2,-4] => 32
[1,-5,-3,2,4] => 16
[1,-5,-3,2,-4] => 26
[1,-5,-3,-2,4] => 31
[1,-5,-3,-2,-4] => 48
[-1,5,3,2,4] => 80
[-1,5,3,2,-4] => 140
[-1,5,3,-2,4] => 170
[-1,5,3,-2,-4] => 290
[-1,5,-3,2,4] => 140
[-1,5,-3,2,-4] => 240
[-1,5,-3,-2,4] => 280
[-1,5,-3,-2,-4] => 450
[-1,-5,3,2,4] => 100
[-1,-5,3,2,-4] => 160
[-1,-5,3,-2,4] => 200
[-1,-5,3,-2,-4] => 320
[-1,-5,-3,2,4] => 160
[-1,-5,-3,2,-4] => 260
[-1,-5,-3,-2,4] => 310
[-1,-5,-3,-2,-4] => 480
[1,5,3,4,2] => 12
[1,5,3,4,-2] => 15
[1,5,3,-4,2] => 16
[1,5,3,-4,-2] => 18
[1,5,-3,4,2] => 24
[1,5,-3,4,-2] => 27
[1,5,-3,-4,2] => 28
[1,5,-3,-4,-2] => 30
[1,-5,3,4,2] => 15
[1,-5,3,4,-2] => 18
[1,-5,3,-4,2] => 18
[1,-5,3,-4,-2] => 20
[1,-5,-3,4,2] => 27
[1,-5,-3,4,-2] => 30
[1,-5,-3,-4,2] => 30
[1,-5,-3,-4,-2] => 32
[-1,5,3,4,2] => 120
[-1,5,3,4,-2] => 150
[-1,5,3,-4,2] => 160
[-1,5,3,-4,-2] => 180
[-1,5,-3,4,2] => 240
[-1,5,-3,4,-2] => 270
[-1,5,-3,-4,2] => 280
[-1,5,-3,-4,-2] => 300
[-1,-5,3,4,2] => 150
[-1,-5,3,4,-2] => 180
[-1,-5,3,-4,2] => 180
[-1,-5,3,-4,-2] => 200
[-1,-5,-3,4,2] => 270
[-1,-5,-3,4,-2] => 300
[-1,-5,-3,-4,2] => 300
[-1,-5,-3,-4,-2] => 320
[1,5,4,2,3] => 12
[1,5,4,2,-3] => 18
[1,5,4,-2,3] => 32
[1,5,4,-2,-3] => 44
[1,5,-4,2,3] => 10
[1,5,-4,2,-3] => 13
[1,5,-4,-2,3] => 24
[1,5,-4,-2,-3] => 30
[1,-5,4,2,3] => 15
[1,-5,4,2,-3] => 21
[1,-5,4,-2,3] => 38
[1,-5,4,-2,-3] => 50
[1,-5,-4,2,3] => 11
[1,-5,-4,2,-3] => 14
[1,-5,-4,-2,3] => 26
[1,-5,-4,-2,-3] => 32
[-1,5,4,2,3] => 120
[-1,5,4,2,-3] => 180
[-1,5,4,-2,3] => 320
[-1,5,4,-2,-3] => 440
[-1,5,-4,2,3] => 100
[-1,5,-4,2,-3] => 130
[-1,5,-4,-2,3] => 240
[-1,5,-4,-2,-3] => 300
[-1,-5,4,2,3] => 150
[-1,-5,4,2,-3] => 210
[-1,-5,4,-2,3] => 380
[-1,-5,4,-2,-3] => 500
[-1,-5,-4,2,3] => 110
[-1,-5,-4,2,-3] => 140
[-1,-5,-4,-2,3] => 260
[-1,-5,-4,-2,-3] => 320
[1,5,4,3,2] => 24
[1,5,4,3,-2] => 30
[1,5,4,-3,2] => 20
[1,5,4,-3,-2] => 22
[1,5,-4,3,2] => 20
[1,5,-4,3,-2] => 23
[1,5,-4,-3,2] => 14
[1,5,-4,-3,-2] => 15
[1,-5,4,3,2] => 30
[1,-5,4,3,-2] => 36
[1,-5,4,-3,2] => 23
[1,-5,4,-3,-2] => 25
[1,-5,-4,3,2] => 22
[1,-5,-4,3,-2] => 25
[1,-5,-4,-3,2] => 15
[1,-5,-4,-3,-2] => 16
[-1,5,4,3,2] => 240
[-1,5,4,3,-2] => 300
[-1,5,4,-3,2] => 200
[-1,5,4,-3,-2] => 220
[-1,5,-4,3,2] => 200
[-1,5,-4,3,-2] => 230
-----------------------------------------------------------------------------
Created: Nov 27, 2022 at 20:05 by Martin Rubey
-----------------------------------------------------------------------------
Last Updated: Nov 27, 2022 at 20:05 by Martin Rubey