***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * 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