Identifier
Values
=>
Cc0002;cc-rep
[1]=>1
[2]=>1
[1,1]=>1
[3]=>1
[2,1]=>2
[1,1,1]=>1
[4]=>2
[3,1]=>3
[2,2]=>2
[2,1,1]=>2
[1,1,1,1]=>1
[5]=>5
[4,1]=>5
[3,2]=>4
[3,1,1]=>4
[2,2,1]=>4
[2,1,1,1]=>2
[1,1,1,1,1]=>1
[6]=>8
[5,1]=>9
[4,2]=>7
[4,1,1]=>7
[3,3]=>4
[3,2,1]=>8
[3,1,1,1]=>4
[2,2,2]=>3
[2,2,1,1]=>5
[2,1,1,1,1]=>2
[1,1,1,1,1,1]=>1
[7]=>13
[6,1]=>13
[5,2]=>12
[5,1,1]=>12
[4,3]=>11
[4,2,1]=>12
[4,1,1,1]=>8
[3,3,1]=>9
[3,2,2]=>9
[3,2,1,1]=>11
[3,1,1,1,1]=>4
[2,2,2,1]=>7
[2,2,1,1,1]=>5
[2,1,1,1,1,1]=>2
[1,1,1,1,1,1,1]=>1
[8]=>20
[7,1]=>20
[6,2]=>19
[6,1,1]=>18
[5,3]=>18
[5,2,1]=>19
[5,1,1,1]=>15
[4,4]=>13
[4,3,1]=>18
[4,2,2]=>14
[4,2,1,1]=>18
[4,1,1,1,1]=>8
[3,3,2]=>12
[3,3,1,1]=>14
[3,2,2,1]=>16
[3,2,1,1,1]=>13
[3,1,1,1,1,1]=>4
[2,2,2,2]=>5
[2,2,2,1,1]=>9
[2,2,1,1,1,1]=>5
[2,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1]=>1
[9]=>28
[8,1]=>28
[7,2]=>27
[7,1,1]=>27
[6,3]=>26
[6,2,1]=>27
[6,1,1,1]=>22
[5,4]=>26
[5,3,1]=>26
[5,2,2]=>24
[5,2,1,1]=>26
[5,1,1,1,1]=>16
[4,4,1]=>23
[4,3,2]=>24
[4,3,1,1]=>24
[4,2,2,1]=>24
[4,2,1,1,1]=>21
[4,1,1,1,1,1]=>8
[3,3,3]=>15
[3,3,2,1]=>22
[3,3,1,1,1]=>17
[3,2,2,2]=>17
[3,2,2,1,1]=>23
[3,2,1,1,1,1]=>13
[3,1,1,1,1,1,1]=>4
[2,2,2,2,1]=>12
[2,2,2,1,1,1]=>10
[2,2,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1]=>1
[10]=>40
[9,1]=>40
[8,2]=>39
[8,1,1]=>39
[7,3]=>38
[7,2,1]=>39
[7,1,1,1]=>34
[6,4]=>38
[6,3,1]=>38
[6,2,2]=>36
[6,2,1,1]=>38
[6,1,1,1,1]=>25
[5,5]=>35
[5,4,1]=>38
[5,3,2]=>36
[5,3,1,1]=>36
[5,2,2,1]=>36
[5,2,1,1,1]=>33
[5,1,1,1,1,1]=>16
[4,4,2]=>32
[4,4,1,1]=>32
[4,3,3]=>31
[4,3,2,1]=>36
[4,3,1,1,1]=>31
[4,2,2,2]=>29
[4,2,2,1,1]=>34
[4,2,1,1,1,1]=>23
[4,1,1,1,1,1,1]=>8
[3,3,3,1]=>26
[3,3,2,2]=>27
[3,3,2,1,1]=>31
[3,3,1,1,1,1]=>18
[3,2,2,2,1]=>30
[3,2,2,1,1,1]=>29
[3,2,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1]=>4
[2,2,2,2,2]=>7
[2,2,2,2,1,1]=>17
[2,2,2,1,1,1,1]=>10
[2,2,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1]=>1
[11]=>54
[10,1]=>54
[9,2]=>53
[9,1,1]=>53
[8,3]=>52
[8,2,1]=>53
[8,1,1,1]=>48
[7,4]=>52
[7,3,1]=>52
[7,2,2]=>50
[7,2,1,1]=>52
[7,1,1,1,1]=>38
[6,5]=>52
[6,4,1]=>52
[6,3,2]=>50
[6,3,1,1]=>50
[6,2,2,1]=>50
[6,2,1,1,1]=>47
[6,1,1,1,1,1]=>26
[5,5,1]=>50
[5,4,2]=>50
[5,4,1,1]=>50
[5,3,3]=>46
[5,3,2,1]=>50
[5,3,1,1,1]=>45
[5,2,2,2]=>44
[5,2,2,1,1]=>49
[5,2,1,1,1,1]=>37
[5,1,1,1,1,1,1]=>16
[4,4,3]=>46
[4,4,2,1]=>48
[4,4,1,1,1]=>40
[4,3,3,1]=>46
[4,3,2,2]=>46
[4,3,2,1,1]=>48
[4,3,1,1,1,1]=>35
[4,2,2,2,1]=>44
[4,2,2,1,1,1]=>43
[4,2,1,1,1,1,1]=>23
[4,1,1,1,1,1,1,1]=>8
[3,3,3,2]=>36
[3,3,3,1,1]=>38
[3,3,2,2,1]=>43
[3,3,2,1,1,1]=>40
[3,3,1,1,1,1,1]=>18
[3,2,2,2,2]=>31
[3,2,2,2,1,1]=>43
[3,2,2,1,1,1,1]=>31
[3,2,1,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1,1]=>4
[2,2,2,2,2,1]=>19
[2,2,2,2,1,1,1]=>19
[2,2,2,1,1,1,1,1]=>10
[2,2,1,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1,1]=>1
[12]=>75
[11,1]=>75
[10,2]=>74
[10,1,1]=>74
[9,3]=>73
[9,2,1]=>74
[9,1,1,1]=>68
[8,4]=>73
[8,3,1]=>73
[8,2,2]=>71
[8,2,1,1]=>73
[8,1,1,1,1]=>56
[7,5]=>73
[7,4,1]=>73
[7,3,2]=>71
[7,3,1,1]=>71
[7,2,2,1]=>71
[7,2,1,1,1]=>67
[7,1,1,1,1,1]=>41
[6,6]=>71
[6,5,1]=>73
[6,4,2]=>71
[6,4,1,1]=>71
[6,3,3]=>66
[6,3,2,1]=>71
[6,3,1,1,1]=>65
[6,2,2,2]=>65
[6,2,2,1,1]=>70
[6,2,1,1,1,1]=>55
[6,1,1,1,1,1,1]=>26
[5,5,2]=>68
[5,5,1,1]=>69
[5,4,3]=>69
[5,4,2,1]=>71
[5,4,1,1,1]=>65
[5,3,3,1]=>67
[5,3,2,2]=>67
[5,3,2,1,1]=>69
[5,3,1,1,1,1]=>53
[5,2,2,2,1]=>65
[5,2,2,1,1,1]=>64
[5,2,1,1,1,1,1]=>39
[5,1,1,1,1,1,1,1]=>16
[4,4,4]=>59
[4,4,3,1]=>67
[4,4,2,2]=>63
[4,4,2,1,1]=>65
[4,4,1,1,1,1]=>48
[4,3,3,2]=>64
[4,3,3,1,1]=>63
[4,3,2,2,1]=>67
[4,3,2,1,1,1]=>63
[4,3,1,1,1,1,1]=>37
[4,2,2,2,2]=>49
[4,2,2,2,1,1]=>64
[4,2,2,1,1,1,1]=>49
[4,2,1,1,1,1,1,1]=>23
[4,1,1,1,1,1,1,1,1]=>8
[3,3,3,3]=>39
[3,3,3,2,1]=>56
[3,3,3,1,1,1]=>52
[3,3,2,2,2]=>49
[3,3,2,2,1,1]=>61
[3,3,2,1,1,1,1]=>46
[3,3,1,1,1,1,1,1]=>18
[3,2,2,2,2,1]=>52
[3,2,2,2,1,1,1]=>56
[3,2,2,1,1,1,1,1]=>31
[3,2,1,1,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1,1,1]=>4
[2,2,2,2,2,2]=>11
[2,2,2,2,2,1,1]=>28
[2,2,2,2,1,1,1,1]=>20
[2,2,2,1,1,1,1,1,1]=>10
[2,2,1,1,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1,1,1]=>1
[13]=>99
[12,1]=>99
[11,2]=>98
[11,1,1]=>98
[10,3]=>97
[10,2,1]=>98
[10,1,1,1]=>92
[9,4]=>97
[9,3,1]=>97
[9,2,2]=>95
[9,2,1,1]=>97
[9,1,1,1,1]=>78
[8,5]=>97
[8,4,1]=>97
[8,3,2]=>95
[8,3,1,1]=>95
[8,2,2,1]=>95
[8,2,1,1,1]=>91
[8,1,1,1,1,1]=>60
[7,6]=>97
[7,5,1]=>97
[7,4,2]=>95
[7,4,1,1]=>95
[7,3,3]=>91
[7,3,2,1]=>95
[7,3,1,1,1]=>89
[7,2,2,2]=>89
[7,2,2,1,1]=>94
[7,2,1,1,1,1]=>77
[7,1,1,1,1,1,1]=>42
[6,6,1]=>95
[6,5,2]=>95
[6,5,1,1]=>95
[6,4,3]=>93
[6,4,2,1]=>95
[6,4,1,1,1]=>89
[6,3,3,1]=>91
[6,3,2,2]=>91
[6,3,2,1,1]=>93
[6,3,1,1,1,1]=>75
[6,2,2,2,1]=>89
[6,2,2,1,1,1]=>88
[6,2,1,1,1,1,1]=>59
[6,1,1,1,1,1,1,1]=>26
[5,5,3]=>91
[5,5,2,1]=>93
[5,5,1,1,1]=>87
[5,4,4]=>91
[5,4,3,1]=>93
[5,4,2,2]=>91
[5,4,2,1,1]=>93
[5,4,1,1,1,1]=>75
[5,3,3,2]=>88
[5,3,3,1,1]=>88
[5,3,2,2,1]=>91
[5,3,2,1,1,1]=>87
[5,3,1,1,1,1,1]=>57
[5,2,2,2,2]=>77
[5,2,2,2,1,1]=>88
[5,2,2,1,1,1,1]=>74
[5,2,1,1,1,1,1,1]=>39
[5,1,1,1,1,1,1,1,1]=>16
[4,4,4,1]=>87
[4,4,3,2]=>88
[4,4,3,1,1]=>88
[4,4,2,2,1]=>88
[4,4,2,1,1,1]=>83
[4,4,1,1,1,1,1]=>51
[4,3,3,3]=>78
[4,3,3,2,1]=>88
[4,3,3,1,1,1]=>80
[4,3,2,2,2]=>83
[4,3,2,2,1,1]=>89
[4,3,2,1,1,1,1]=>73
[4,3,1,1,1,1,1,1]=>37
[4,2,2,2,2,1]=>77
[4,2,2,2,1,1,1]=>82
[4,2,2,1,1,1,1,1]=>51
[4,2,1,1,1,1,1,1,1]=>23
[4,1,1,1,1,1,1,1,1,1]=>8
[3,3,3,3,1]=>67
[3,3,3,2,2]=>72
[3,3,3,2,1,1]=>78
[3,3,3,1,1,1,1]=>62
[3,3,2,2,2,1]=>78
[3,3,2,2,1,1,1]=>79
[3,3,2,1,1,1,1,1]=>48
[3,3,1,1,1,1,1,1,1]=>18
[3,2,2,2,2,2]=>53
[3,2,2,2,2,1,1]=>76
[3,2,2,2,1,1,1,1]=>63
[3,2,2,1,1,1,1,1,1]=>31
[3,2,1,1,1,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1,1,1,1]=>4
[2,2,2,2,2,2,1]=>30
[2,2,2,2,2,1,1,1]=>33
[2,2,2,2,1,1,1,1,1]=>20
[2,2,2,1,1,1,1,1,1,1]=>10
[2,2,1,1,1,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1,1,1,1]=>1
[14]=>133
[13,1]=>133
[12,2]=>132
[12,1,1]=>132
[11,3]=>131
[11,2,1]=>132
[11,1,1,1]=>125
[10,4]=>131
[10,3,1]=>131
[10,2,2]=>129
[10,2,1,1]=>131
[10,1,1,1,1]=>109
[9,5]=>131
[9,4,1]=>131
[9,3,2]=>129
[9,3,1,1]=>129
[9,2,2,1]=>129
[9,2,1,1,1]=>124
[9,1,1,1,1,1]=>86
[8,6]=>131
[8,5,1]=>131
[8,4,2]=>129
[8,4,1,1]=>129
[8,3,3]=>125
[8,3,2,1]=>129
[8,3,1,1,1]=>122
[8,2,2,2]=>123
[8,2,2,1,1]=>128
[8,2,1,1,1,1]=>108
[8,1,1,1,1,1,1]=>63
[7,7]=>129
[7,6,1]=>131
[7,5,2]=>129
[7,5,1,1]=>129
[7,4,3]=>127
[7,4,2,1]=>129
[7,4,1,1,1]=>122
[7,3,3,1]=>125
[7,3,2,2]=>125
[7,3,2,1,1]=>127
[7,3,1,1,1,1]=>106
[7,2,2,2,1]=>123
[7,2,2,1,1,1]=>121
[7,2,1,1,1,1,1]=>85
[7,1,1,1,1,1,1,1]=>42
[6,6,2]=>127
[6,6,1,1]=>127
[6,5,3]=>127
[6,5,2,1]=>129
[6,5,1,1,1]=>122
[6,4,4]=>125
[6,4,3,1]=>127
[6,4,2,2]=>125
[6,4,2,1,1]=>127
[6,4,1,1,1,1]=>106
[6,3,3,2]=>122
[6,3,3,1,1]=>121
[6,3,2,2,1]=>125
[6,3,2,1,1,1]=>120
[6,3,1,1,1,1,1]=>83
[6,2,2,2,2]=>111
[6,2,2,2,1,1]=>122
[6,2,2,1,1,1,1]=>105
[6,2,1,1,1,1,1,1]=>61
[6,1,1,1,1,1,1,1,1]=>26
[5,5,4]=>125
[5,5,3,1]=>125
[5,5,2,2]=>121
[5,5,2,1,1]=>125
[5,5,1,1,1,1]=>104
[5,4,4,1]=>125
[5,4,3,2]=>124
[5,4,3,1,1]=>124
[5,4,2,2,1]=>125
[5,4,2,1,1,1]=>120
[5,4,1,1,1,1,1]=>83
[5,3,3,3]=>111
[5,3,3,2,1]=>122
[5,3,3,1,1,1]=>114
[5,3,2,2,2]=>117
[5,3,2,2,1,1]=>123
[5,3,2,1,1,1,1]=>104
[5,3,1,1,1,1,1,1]=>59
[5,2,2,2,2,1]=>111
[5,2,2,2,1,1,1]=>115
[5,2,2,1,1,1,1,1]=>81
[5,2,1,1,1,1,1,1,1]=>39
[5,1,1,1,1,1,1,1,1,1]=>16
[4,4,4,2]=>115
[4,4,4,1,1]=>115
[4,4,3,3]=>113
[4,4,3,2,1]=>122
[4,4,3,1,1,1]=>114
[4,4,2,2,2]=>110
[4,4,2,2,1,1]=>119
[4,4,2,1,1,1,1]=>100
[4,4,1,1,1,1,1,1]=>52
[4,3,3,3,1]=>111
[4,3,3,2,2]=>114
[4,3,3,2,1,1]=>119
[4,3,3,1,1,1,1]=>97
[4,3,2,2,2,1]=>117
[4,3,2,2,1,1,1]=>116
[4,3,2,1,1,1,1,1]=>80
[4,3,1,1,1,1,1,1,1]=>37
[4,2,2,2,2,2]=>87
[4,2,2,2,2,1,1]=>109
[4,2,2,2,1,1,1,1]=>98
[4,2,2,1,1,1,1,1,1]=>51
[4,2,1,1,1,1,1,1,1,1]=>23
[4,1,1,1,1,1,1,1,1,1,1]=>8
[3,3,3,3,2]=>92
[3,3,3,3,1,1]=>95
[3,3,3,2,2,1]=>105
[3,3,3,2,1,1,1]=>104
[3,3,3,1,1,1,1,1]=>66
[3,3,2,2,2,2]=>91
[3,3,2,2,2,1,1]=>108
[3,3,2,2,1,1,1,1]=>95
[3,3,2,1,1,1,1,1,1]=>48
[3,3,1,1,1,1,1,1,1,1]=>18
[3,2,2,2,2,2,1]=>88
[3,2,2,2,2,1,1,1]=>102
[3,2,2,2,1,1,1,1,1]=>65
[3,2,2,1,1,1,1,1,1,1]=>31
[3,2,1,1,1,1,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1,1,1,1,1]=>4
[2,2,2,2,2,2,2]=>15
[2,2,2,2,2,2,1,1]=>47
[2,2,2,2,2,1,1,1,1]=>35
[2,2,2,2,1,1,1,1,1,1]=>20
[2,2,2,1,1,1,1,1,1,1,1]=>10
[2,2,1,1,1,1,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1,1,1,1,1]=>1
[15]=>174
[14,1]=>174
[13,2]=>173
[13,1,1]=>173
[12,3]=>172
[12,2,1]=>173
[12,1,1,1]=>166
[11,4]=>172
[11,3,1]=>172
[11,2,2]=>170
[11,2,1,1]=>172
[11,1,1,1,1]=>147
[10,5]=>172
[10,4,1]=>172
[10,3,2]=>170
[10,3,1,1]=>170
[10,2,2,1]=>170
[10,2,1,1,1]=>165
[10,1,1,1,1,1]=>120
[9,6]=>172
[9,5,1]=>172
[9,4,2]=>170
[9,4,1,1]=>170
[9,3,3]=>166
[9,3,2,1]=>170
[9,3,1,1,1]=>163
[9,2,2,2]=>164
[9,2,2,1,1]=>169
[9,2,1,1,1,1]=>146
[9,1,1,1,1,1,1]=>90
[8,7]=>172
[8,6,1]=>172
[8,5,2]=>170
[8,5,1,1]=>170
[8,4,3]=>168
[8,4,2,1]=>170
[8,4,1,1,1]=>163
[8,3,3,1]=>166
[8,3,2,2]=>166
[8,3,2,1,1]=>168
[8,3,1,1,1,1]=>144
[8,2,2,2,1]=>164
[8,2,2,1,1,1]=>162
[8,2,1,1,1,1,1]=>119
[8,1,1,1,1,1,1,1]=>64
[7,7,1]=>170
[7,6,2]=>170
[7,6,1,1]=>170
[7,5,3]=>168
[7,5,2,1]=>170
[7,5,1,1,1]=>163
[7,4,4]=>166
[7,4,3,1]=>168
[7,4,2,2]=>166
[7,4,2,1,1]=>168
[7,4,1,1,1,1]=>144
[7,3,3,2]=>163
[7,3,3,1,1]=>163
[7,3,2,2,1]=>166
[7,3,2,1,1,1]=>161
[7,3,1,1,1,1,1]=>117
[7,2,2,2,2]=>152
[7,2,2,2,1,1]=>163
[7,2,2,1,1,1,1]=>143
[7,2,1,1,1,1,1,1]=>89
[7,1,1,1,1,1,1,1,1]=>42
[6,6,3]=>166
[6,6,2,1]=>168
[6,6,1,1,1]=>160
[6,5,4]=>168
[6,5,3,1]=>168
[6,5,2,2]=>166
[6,5,2,1,1]=>168
[6,5,1,1,1,1]=>144
[6,4,4,1]=>166
[6,4,3,2]=>165
[6,4,3,1,1]=>165
[6,4,2,2,1]=>166
[6,4,2,1,1,1]=>161
[6,4,1,1,1,1,1]=>117
[6,3,3,3]=>152
[6,3,3,2,1]=>163
[6,3,3,1,1,1]=>154
[6,3,2,2,2]=>158
[6,3,2,2,1,1]=>164
[6,3,2,1,1,1,1]=>142
[6,3,1,1,1,1,1,1]=>87
[6,2,2,2,2,1]=>152
[6,2,2,2,1,1,1]=>156
[6,2,2,1,1,1,1,1]=>116
[6,2,1,1,1,1,1,1,1]=>61
[6,1,1,1,1,1,1,1,1,1]=>26
[5,5,5]=>162
[5,5,4,1]=>166
[5,5,3,2]=>163
[5,5,3,1,1]=>163
[5,5,2,2,1]=>163
[5,5,2,1,1,1]=>159
[5,5,1,1,1,1,1]=>114
[5,4,4,2]=>163
[5,4,4,1,1]=>163
[5,4,3,3]=>160
[5,4,3,2,1]=>165
[5,4,3,1,1,1]=>157
[5,4,2,2,2]=>158
[5,4,2,2,1,1]=>164
[5,4,2,1,1,1,1]=>142
[5,4,1,1,1,1,1,1]=>87
[5,3,3,3,1]=>152
[5,3,3,2,2]=>156
[5,3,3,2,1,1]=>160
[5,3,3,1,1,1,1]=>136
[5,3,2,2,2,1]=>158
[5,3,2,2,1,1,1]=>157
[5,3,2,1,1,1,1,1]=>115
[5,3,1,1,1,1,1,1,1]=>59
[5,2,2,2,2,2]=>129
[5,2,2,2,2,1,1]=>151
[5,2,2,2,1,1,1,1]=>137
[5,2,2,1,1,1,1,1,1]=>83
[5,2,1,1,1,1,1,1,1,1]=>39
[5,1,1,1,1,1,1,1,1,1,1]=>16
[4,4,4,3]=>154
[4,4,4,2,1]=>158
[4,4,4,1,1,1]=>147
[4,4,3,3,1]=>156
[4,4,3,2,2]=>156
[4,4,3,2,1,1]=>160
[4,4,3,1,1,1,1]=>135
[4,4,2,2,2,1]=>153
[4,4,2,2,1,1,1]=>153
[4,4,2,1,1,1,1,1]=>111
[4,4,1,1,1,1,1,1,1]=>52
[4,3,3,3,2]=>147
[4,3,3,3,1,1]=>148
[4,3,3,2,2,1]=>156
[4,3,3,2,1,1,1]=>152
[4,3,3,1,1,1,1,1]=>108
[4,3,2,2,2,2]=>143
[4,3,2,2,2,1,1]=>156
[4,3,2,2,1,1,1,1]=>138
[4,3,2,1,1,1,1,1,1]=>83
[4,3,1,1,1,1,1,1,1,1]=>37
[4,2,2,2,2,2,1]=>129
[4,2,2,2,2,1,1,1]=>142
[4,2,2,2,1,1,1,1,1]=>105
[4,2,2,1,1,1,1,1,1,1]=>51
[4,2,1,1,1,1,1,1,1,1,1]=>23
[4,1,1,1,1,1,1,1,1,1,1,1]=>8
[3,3,3,3,3]=>109
[3,3,3,3,2,1]=>133
[3,3,3,3,1,1,1]=>122
[3,3,3,2,2,2]=>131
[3,3,3,2,2,1,1]=>144
[3,3,3,2,1,1,1,1]=>126
[3,3,3,1,1,1,1,1,1]=>67
[3,3,2,2,2,2,1]=>135
[3,3,2,2,2,1,1,1]=>141
[3,3,2,2,1,1,1,1,1]=>102
[3,3,2,1,1,1,1,1,1,1]=>48
[3,3,1,1,1,1,1,1,1,1,1]=>18
[3,2,2,2,2,2,2]=>86
[3,2,2,2,2,2,1,1]=>128
[3,2,2,2,2,1,1,1,1]=>119
[3,2,2,2,1,1,1,1,1,1]=>65
[3,2,2,1,1,1,1,1,1,1,1]=>31
[3,2,1,1,1,1,1,1,1,1,1,1]=>13
[3,1,1,1,1,1,1,1,1,1,1,1,1]=>4
[2,2,2,2,2,2,2,1]=>45
[2,2,2,2,2,2,1,1,1]=>57
[2,2,2,2,2,1,1,1,1,1]=>36
[2,2,2,2,1,1,1,1,1,1,1]=>20
[2,2,2,1,1,1,1,1,1,1,1,1]=>10
[2,2,1,1,1,1,1,1,1,1,1,1,1]=>5
[2,1,1,1,1,1,1,1,1,1,1,1,1,1]=>2
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]=>1
[16]=>229
[15,1]=>229
[14,2]=>228
[14,1,1]=>228
[13,3]=>227
[13,2,1]=>228
[13,1,1,1]=>220
[12,4]=>227
[12,3,1]=>227
[12,2,2]=>225
[12,2,1,1]=>227
[12,1,1,1,1]=>199
[11,5]=>227
[11,4,1]=>227
[11,3,2]=>225
[11,3,1,1]=>225
[11,2,2,1]=>225
[11,2,1,1,1]=>219
[11,1,1,1,1,1]=>165
[10,6]=>227
[10,5,1]=>227
[10,4,2]=>225
[10,4,1,1]=>225
[10,3,3]=>221
[10,3,2,1]=>225
[10,3,1,1,1]=>217
[10,2,2,2]=>219
[10,2,2,1,1]=>224
[10,2,1,1,1,1]=>198
[10,1,1,1,1,1,1]=>128
[9,7]=>227
[9,6,1]=>227
[9,5,2]=>225
[9,5,1,1]=>225
[9,4,3]=>223
[9,4,2,1]=>225
[9,4,1,1,1]=>217
[9,3,3,1]=>221
[9,3,2,2]=>221
[9,3,2,1,1]=>223
[9,3,1,1,1,1]=>196
[9,2,2,2,1]=>219
[9,2,2,1,1,1]=>216
[9,2,1,1,1,1,1]=>164
[9,1,1,1,1,1,1,1]=>93
[8,8]=>225
[8,7,1]=>227
[8,6,2]=>225
[8,6,1,1]=>225
[8,5,3]=>223
[8,5,2,1]=>225
[8,5,1,1,1]=>217
[8,4,4]=>221
[8,4,3,1]=>223
[8,4,2,2]=>221
[8,4,2,1,1]=>223
[8,4,1,1,1,1]=>196
[8,3,3,2]=>218
[8,3,3,1,1]=>218
[8,3,2,2,1]=>221
[8,3,2,1,1,1]=>215
[8,3,1,1,1,1,1]=>162
[8,2,2,2,2]=>207
[8,2,2,2,1,1]=>218
[8,2,2,1,1,1,1]=>195
[8,2,1,1,1,1,1,1]=>127
[8,1,1,1,1,1,1,1,1]=>64
[7,7,2]=>223
[7,7,1,1]=>223
[7,6,3]=>223
[7,6,2,1]=>225
[7,6,1,1,1]=>217
[7,5,4]=>223
[7,5,3,1]=>223
[7,5,2,2]=>221
[7,5,2,1,1]=>223
[7,5,1,1,1,1]=>196
[7,4,4,1]=>221
[7,4,3,2]=>220
[7,4,3,1,1]=>220
[7,4,2,2,1]=>221
[7,4,2,1,1,1]=>215
[7,4,1,1,1,1,1]=>162
[7,3,3,3]=>206
[7,3,3,2,1]=>218
[7,3,3,1,1,1]=>209
[7,3,2,2,2]=>213
[7,3,2,2,1,1]=>219
[7,3,2,1,1,1,1]=>194
[7,3,1,1,1,1,1,1]=>125
[7,2,2,2,2,1]=>207
[7,2,2,2,1,1,1]=>210
[7,2,2,1,1,1,1,1]=>161
[7,2,1,1,1,1,1,1,1]=>91
[7,1,1,1,1,1,1,1,1,1]=>42
[6,6,4]=>221
[6,6,3,1]=>221
[6,6,2,2]=>218
[6,6,2,1,1]=>221
[6,6,1,1,1,1]=>193
[6,5,5]=>221
[6,5,4,1]=>223
[6,5,3,2]=>220
[6,5,3,1,1]=>220
[6,5,2,2,1]=>221
[6,5,2,1,1,1]=>215
[6,5,1,1,1,1,1]=>162
[6,4,4,2]=>218
[6,4,4,1,1]=>218
[6,4,3,3]=>215
[6,4,3,2,1]=>220
[6,4,3,1,1,1]=>211
[6,4,2,2,2]=>213
[6,4,2,2,1,1]=>219
[6,4,2,1,1,1,1]=>194
[6,4,1,1,1,1,1,1]=>125
[6,3,3,3,1]=>206
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 number of distinct irreducible representations contained in the higher Lie character for an integer partition.
References
[1] Schocker, M. Multiplicities of higher Lie characters MathSciNet:1984625
Code
def statistic(la):
s = SymmetricFunctions(ZZ).s()
return sum(1 for _, c in s.higher_lie_character(la))
Created
May 25, 2023 at 14:37 by Martin Rubey
Updated
May 25, 2023 at 14:37 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!