Identifier
Values
=>
Cc0007;cc-rep
[[1]]=>0
[[1,2]]=>0
[[1],[2]]=>0
[[1,2,3]]=>0
[[1,3],[2]]=>0
[[1,2],[3]]=>1
[[1],[2],[3]]=>0
[[1,2,3,4]]=>0
[[1,3,4],[2]]=>0
[[1,2,4],[3]]=>1
[[1,2,3],[4]]=>2
[[1,3],[2,4]]=>2
[[1,2],[3,4]]=>0
[[1,4],[2],[3]]=>0
[[1,3],[2],[4]]=>1
[[1,2],[3],[4]]=>2
[[1],[2],[3],[4]]=>0
[[1,2,3,4,5]]=>0
[[1,3,4,5],[2]]=>0
[[1,2,4,5],[3]]=>1
[[1,2,3,5],[4]]=>2
[[1,2,3,4],[5]]=>3
[[1,3,5],[2,4]]=>2
[[1,2,5],[3,4]]=>0
[[1,3,4],[2,5]]=>3
[[1,2,4],[3,5]]=>4
[[1,2,3],[4,5]]=>1
[[1,4,5],[2],[3]]=>0
[[1,3,5],[2],[4]]=>1
[[1,2,5],[3],[4]]=>2
[[1,3,4],[2],[5]]=>2
[[1,2,4],[3],[5]]=>3
[[1,2,3],[4],[5]]=>4
[[1,4],[2,5],[3]]=>3
[[1,3],[2,5],[4]]=>0
[[1,2],[3,5],[4]]=>1
[[1,3],[2,4],[5]]=>4
[[1,2],[3,4],[5]]=>2
[[1,5],[2],[3],[4]]=>0
[[1,4],[2],[3],[5]]=>1
[[1,3],[2],[4],[5]]=>2
[[1,2],[3],[4],[5]]=>3
[[1],[2],[3],[4],[5]]=>0
[[1,2,3,4,5,6]]=>0
[[1,3,4,5,6],[2]]=>0
[[1,2,4,5,6],[3]]=>1
[[1,2,3,5,6],[4]]=>2
[[1,2,3,4,6],[5]]=>3
[[1,2,3,4,5],[6]]=>4
[[1,3,5,6],[2,4]]=>2
[[1,2,5,6],[3,4]]=>0
[[1,3,4,6],[2,5]]=>3
[[1,2,4,6],[3,5]]=>4
[[1,2,3,6],[4,5]]=>1
[[1,3,4,5],[2,6]]=>4
[[1,2,4,5],[3,6]]=>5
[[1,2,3,5],[4,6]]=>6
[[1,2,3,4],[5,6]]=>2
[[1,4,5,6],[2],[3]]=>0
[[1,3,5,6],[2],[4]]=>1
[[1,2,5,6],[3],[4]]=>2
[[1,3,4,6],[2],[5]]=>2
[[1,2,4,6],[3],[5]]=>3
[[1,2,3,6],[4],[5]]=>4
[[1,3,4,5],[2],[6]]=>3
[[1,2,4,5],[3],[6]]=>4
[[1,2,3,5],[4],[6]]=>5
[[1,2,3,4],[5],[6]]=>6
[[1,3,5],[2,4,6]]=>6
[[1,2,5],[3,4,6]]=>4
[[1,3,4],[2,5,6]]=>2
[[1,2,4],[3,5,6]]=>3
[[1,2,3],[4,5,6]]=>0
[[1,4,6],[2,5],[3]]=>3
[[1,3,6],[2,5],[4]]=>0
[[1,2,6],[3,5],[4]]=>1
[[1,3,6],[2,4],[5]]=>4
[[1,2,6],[3,4],[5]]=>2
[[1,4,5],[2,6],[3]]=>4
[[1,3,5],[2,6],[4]]=>5
[[1,2,5],[3,6],[4]]=>6
[[1,3,4],[2,6],[5]]=>1
[[1,2,4],[3,6],[5]]=>2
[[1,2,3],[4,6],[5]]=>3
[[1,3,5],[2,4],[6]]=>5
[[1,2,5],[3,4],[6]]=>3
[[1,3,4],[2,5],[6]]=>6
[[1,2,4],[3,5],[6]]=>7
[[1,2,3],[4,5],[6]]=>4
[[1,5,6],[2],[3],[4]]=>0
[[1,4,6],[2],[3],[5]]=>1
[[1,3,6],[2],[4],[5]]=>2
[[1,2,6],[3],[4],[5]]=>3
[[1,4,5],[2],[3],[6]]=>2
[[1,3,5],[2],[4],[6]]=>3
[[1,2,5],[3],[4],[6]]=>4
[[1,3,4],[2],[5],[6]]=>4
[[1,2,4],[3],[5],[6]]=>5
[[1,2,3],[4],[5],[6]]=>6
[[1,4],[2,5],[3,6]]=>6
[[1,3],[2,5],[4,6]]=>3
[[1,2],[3,5],[4,6]]=>4
[[1,3],[2,4],[5,6]]=>2
[[1,2],[3,4],[5,6]]=>0
[[1,5],[2,6],[3],[4]]=>4
[[1,4],[2,6],[3],[5]]=>0
[[1,3],[2,6],[4],[5]]=>1
[[1,2],[3,6],[4],[5]]=>2
[[1,4],[2,5],[3],[6]]=>5
[[1,3],[2,5],[4],[6]]=>2
[[1,2],[3,5],[4],[6]]=>3
[[1,3],[2,4],[5],[6]]=>6
[[1,2],[3,4],[5],[6]]=>4
[[1,6],[2],[3],[4],[5]]=>0
[[1,5],[2],[3],[4],[6]]=>1
[[1,4],[2],[3],[5],[6]]=>2
[[1,3],[2],[4],[5],[6]]=>3
[[1,2],[3],[4],[5],[6]]=>4
[[1],[2],[3],[4],[5],[6]]=>0
[[1,2,3,4,5,6,7]]=>0
[[1,3,4,5,6,7],[2]]=>0
[[1,2,4,5,6,7],[3]]=>1
[[1,2,3,5,6,7],[4]]=>2
[[1,2,3,4,6,7],[5]]=>3
[[1,2,3,4,5,7],[6]]=>4
[[1,2,3,4,5,6],[7]]=>5
[[1,3,5,6,7],[2,4]]=>2
[[1,2,5,6,7],[3,4]]=>0
[[1,3,4,6,7],[2,5]]=>3
[[1,2,4,6,7],[3,5]]=>4
[[1,2,3,6,7],[4,5]]=>1
[[1,3,4,5,7],[2,6]]=>4
[[1,2,4,5,7],[3,6]]=>5
[[1,2,3,5,7],[4,6]]=>6
[[1,2,3,4,7],[5,6]]=>2
[[1,3,4,5,6],[2,7]]=>5
[[1,2,4,5,6],[3,7]]=>6
[[1,2,3,5,6],[4,7]]=>7
[[1,2,3,4,6],[5,7]]=>8
[[1,2,3,4,5],[6,7]]=>3
[[1,4,5,6,7],[2],[3]]=>0
[[1,3,5,6,7],[2],[4]]=>1
[[1,2,5,6,7],[3],[4]]=>2
[[1,3,4,6,7],[2],[5]]=>2
[[1,2,4,6,7],[3],[5]]=>3
[[1,2,3,6,7],[4],[5]]=>4
[[1,3,4,5,7],[2],[6]]=>3
[[1,2,4,5,7],[3],[6]]=>4
[[1,2,3,5,7],[4],[6]]=>5
[[1,2,3,4,7],[5],[6]]=>6
[[1,3,4,5,6],[2],[7]]=>4
[[1,2,4,5,6],[3],[7]]=>5
[[1,2,3,5,6],[4],[7]]=>6
[[1,2,3,4,6],[5],[7]]=>7
[[1,2,3,4,5],[6],[7]]=>8
[[1,3,5,7],[2,4,6]]=>6
[[1,2,5,7],[3,4,6]]=>4
[[1,3,4,7],[2,5,6]]=>2
[[1,2,4,7],[3,5,6]]=>3
[[1,2,3,7],[4,5,6]]=>0
[[1,3,5,6],[2,4,7]]=>7
[[1,2,5,6],[3,4,7]]=>5
[[1,3,4,6],[2,5,7]]=>8
[[1,2,4,6],[3,5,7]]=>9
[[1,2,3,6],[4,5,7]]=>6
[[1,3,4,5],[2,6,7]]=>3
[[1,2,4,5],[3,6,7]]=>4
[[1,2,3,5],[4,6,7]]=>5
[[1,2,3,4],[5,6,7]]=>1
[[1,4,6,7],[2,5],[3]]=>3
[[1,3,6,7],[2,5],[4]]=>0
[[1,2,6,7],[3,5],[4]]=>1
[[1,3,6,7],[2,4],[5]]=>4
[[1,2,6,7],[3,4],[5]]=>2
[[1,4,5,7],[2,6],[3]]=>4
[[1,3,5,7],[2,6],[4]]=>5
[[1,2,5,7],[3,6],[4]]=>6
[[1,3,4,7],[2,6],[5]]=>1
[[1,2,4,7],[3,6],[5]]=>2
[[1,2,3,7],[4,6],[5]]=>3
[[1,3,5,7],[2,4],[6]]=>5
[[1,2,5,7],[3,4],[6]]=>3
[[1,3,4,7],[2,5],[6]]=>6
[[1,2,4,7],[3,5],[6]]=>7
[[1,2,3,7],[4,5],[6]]=>4
[[1,4,5,6],[2,7],[3]]=>5
[[1,3,5,6],[2,7],[4]]=>6
[[1,2,5,6],[3,7],[4]]=>7
[[1,3,4,6],[2,7],[5]]=>7
[[1,2,4,6],[3,7],[5]]=>8
[[1,2,3,6],[4,7],[5]]=>9
[[1,3,4,5],[2,7],[6]]=>2
[[1,2,4,5],[3,7],[6]]=>3
[[1,2,3,5],[4,7],[6]]=>4
[[1,2,3,4],[5,7],[6]]=>5
[[1,3,5,6],[2,4],[7]]=>6
[[1,2,5,6],[3,4],[7]]=>4
[[1,3,4,6],[2,5],[7]]=>7
[[1,2,4,6],[3,5],[7]]=>8
[[1,2,3,6],[4,5],[7]]=>5
[[1,3,4,5],[2,6],[7]]=>8
[[1,2,4,5],[3,6],[7]]=>9
[[1,2,3,5],[4,6],[7]]=>10
[[1,2,3,4],[5,6],[7]]=>6
[[1,5,6,7],[2],[3],[4]]=>0
[[1,4,6,7],[2],[3],[5]]=>1
[[1,3,6,7],[2],[4],[5]]=>2
[[1,2,6,7],[3],[4],[5]]=>3
[[1,4,5,7],[2],[3],[6]]=>2
[[1,3,5,7],[2],[4],[6]]=>3
[[1,2,5,7],[3],[4],[6]]=>4
[[1,3,4,7],[2],[5],[6]]=>4
[[1,2,4,7],[3],[5],[6]]=>5
[[1,2,3,7],[4],[5],[6]]=>6
[[1,4,5,6],[2],[3],[7]]=>3
[[1,3,5,6],[2],[4],[7]]=>4
[[1,2,5,6],[3],[4],[7]]=>5
[[1,3,4,6],[2],[5],[7]]=>5
[[1,2,4,6],[3],[5],[7]]=>6
[[1,2,3,6],[4],[5],[7]]=>7
[[1,3,4,5],[2],[6],[7]]=>6
[[1,2,4,5],[3],[6],[7]]=>7
[[1,2,3,5],[4],[6],[7]]=>8
[[1,2,3,4],[5],[6],[7]]=>9
[[1,4,6],[2,5,7],[3]]=>8
[[1,3,6],[2,5,7],[4]]=>5
[[1,2,6],[3,5,7],[4]]=>6
[[1,3,6],[2,4,7],[5]]=>9
[[1,2,6],[3,4,7],[5]]=>7
[[1,4,5],[2,6,7],[3]]=>3
[[1,3,5],[2,6,7],[4]]=>4
[[1,2,5],[3,6,7],[4]]=>5
[[1,3,4],[2,6,7],[5]]=>0
[[1,2,4],[3,6,7],[5]]=>1
[[1,2,3],[4,6,7],[5]]=>2
[[1,3,5],[2,4,7],[6]]=>4
[[1,2,5],[3,4,7],[6]]=>2
[[1,3,4],[2,5,7],[6]]=>5
[[1,2,4],[3,5,7],[6]]=>6
[[1,2,3],[4,5,7],[6]]=>3
[[1,3,5],[2,4,6],[7]]=>10
[[1,2,5],[3,4,6],[7]]=>8
[[1,3,4],[2,5,6],[7]]=>6
[[1,2,4],[3,5,6],[7]]=>7
[[1,2,3],[4,5,6],[7]]=>4
[[1,4,7],[2,5],[3,6]]=>6
[[1,3,7],[2,5],[4,6]]=>3
[[1,2,7],[3,5],[4,6]]=>4
[[1,3,7],[2,4],[5,6]]=>2
[[1,2,7],[3,4],[5,6]]=>0
[[1,4,6],[2,5],[3,7]]=>7
[[1,3,6],[2,5],[4,7]]=>4
[[1,2,6],[3,5],[4,7]]=>5
[[1,3,6],[2,4],[5,7]]=>8
[[1,2,6],[3,4],[5,7]]=>6
[[1,4,5],[2,6],[3,7]]=>8
[[1,3,5],[2,6],[4,7]]=>9
[[1,2,5],[3,6],[4,7]]=>10
[[1,3,4],[2,6],[5,7]]=>5
[[1,2,4],[3,6],[5,7]]=>6
[[1,2,3],[4,6],[5,7]]=>7
[[1,3,5],[2,4],[6,7]]=>3
[[1,2,5],[3,4],[6,7]]=>1
[[1,3,4],[2,5],[6,7]]=>4
[[1,2,4],[3,5],[6,7]]=>5
[[1,2,3],[4,5],[6,7]]=>2
[[1,5,7],[2,6],[3],[4]]=>4
[[1,4,7],[2,6],[3],[5]]=>0
[[1,3,7],[2,6],[4],[5]]=>1
[[1,2,7],[3,6],[4],[5]]=>2
[[1,4,7],[2,5],[3],[6]]=>5
[[1,3,7],[2,5],[4],[6]]=>2
[[1,2,7],[3,5],[4],[6]]=>3
[[1,3,7],[2,4],[5],[6]]=>6
[[1,2,7],[3,4],[5],[6]]=>4
[[1,5,6],[2,7],[3],[4]]=>5
[[1,4,6],[2,7],[3],[5]]=>6
[[1,3,6],[2,7],[4],[5]]=>7
[[1,2,6],[3,7],[4],[5]]=>8
[[1,4,5],[2,7],[3],[6]]=>1
[[1,3,5],[2,7],[4],[6]]=>2
[[1,2,5],[3,7],[4],[6]]=>3
[[1,3,4],[2,7],[5],[6]]=>3
[[1,2,4],[3,7],[5],[6]]=>4
[[1,2,3],[4,7],[5],[6]]=>5
[[1,4,6],[2,5],[3],[7]]=>6
[[1,3,6],[2,5],[4],[7]]=>3
[[1,2,6],[3,5],[4],[7]]=>4
[[1,3,6],[2,4],[5],[7]]=>7
[[1,2,6],[3,4],[5],[7]]=>5
[[1,4,5],[2,6],[3],[7]]=>7
[[1,3,5],[2,6],[4],[7]]=>8
[[1,2,5],[3,6],[4],[7]]=>9
[[1,3,4],[2,6],[5],[7]]=>4
[[1,2,4],[3,6],[5],[7]]=>5
[[1,2,3],[4,6],[5],[7]]=>6
[[1,3,5],[2,4],[6],[7]]=>8
[[1,2,5],[3,4],[6],[7]]=>6
[[1,3,4],[2,5],[6],[7]]=>9
[[1,2,4],[3,5],[6],[7]]=>10
[[1,2,3],[4,5],[6],[7]]=>7
[[1,6,7],[2],[3],[4],[5]]=>0
[[1,5,7],[2],[3],[4],[6]]=>1
[[1,4,7],[2],[3],[5],[6]]=>2
[[1,3,7],[2],[4],[5],[6]]=>3
[[1,2,7],[3],[4],[5],[6]]=>4
[[1,5,6],[2],[3],[4],[7]]=>2
[[1,4,6],[2],[3],[5],[7]]=>3
[[1,3,6],[2],[4],[5],[7]]=>4
[[1,2,6],[3],[4],[5],[7]]=>5
[[1,4,5],[2],[3],[6],[7]]=>4
[[1,3,5],[2],[4],[6],[7]]=>5
[[1,2,5],[3],[4],[6],[7]]=>6
[[1,3,4],[2],[5],[6],[7]]=>6
[[1,2,4],[3],[5],[6],[7]]=>7
[[1,2,3],[4],[5],[6],[7]]=>8
[[1,5],[2,6],[3,7],[4]]=>8
[[1,4],[2,6],[3,7],[5]]=>4
[[1,3],[2,6],[4,7],[5]]=>5
[[1,2],[3,6],[4,7],[5]]=>6
[[1,4],[2,5],[3,7],[6]]=>3
[[1,3],[2,5],[4,7],[6]]=>0
[[1,2],[3,5],[4,7],[6]]=>1
[[1,3],[2,4],[5,7],[6]]=>4
[[1,2],[3,4],[5,7],[6]]=>2
[[1,4],[2,5],[3,6],[7]]=>9
[[1,3],[2,5],[4,6],[7]]=>6
[[1,2],[3,5],[4,6],[7]]=>7
[[1,3],[2,4],[5,6],[7]]=>5
[[1,2],[3,4],[5,6],[7]]=>3
[[1,6],[2,7],[3],[4],[5]]=>5
[[1,5],[2,7],[3],[4],[6]]=>0
[[1,4],[2,7],[3],[5],[6]]=>1
[[1,3],[2,7],[4],[5],[6]]=>2
[[1,2],[3,7],[4],[5],[6]]=>3
[[1,5],[2,6],[3],[4],[7]]=>6
[[1,4],[2,6],[3],[5],[7]]=>2
[[1,3],[2,6],[4],[5],[7]]=>3
[[1,2],[3,6],[4],[5],[7]]=>4
[[1,4],[2,5],[3],[6],[7]]=>7
[[1,3],[2,5],[4],[6],[7]]=>4
[[1,2],[3,5],[4],[6],[7]]=>5
[[1,3],[2,4],[5],[6],[7]]=>8
[[1,2],[3,4],[5],[6],[7]]=>6
[[1,7],[2],[3],[4],[5],[6]]=>0
[[1,6],[2],[3],[4],[5],[7]]=>1
[[1,5],[2],[3],[4],[6],[7]]=>2
[[1,4],[2],[3],[5],[6],[7]]=>3
[[1,3],[2],[4],[5],[6],[7]]=>4
[[1,2],[3],[4],[5],[6],[7]]=>5
[[1],[2],[3],[4],[5],[6],[7]]=>0
[[1,2,3,4,5,6,7,8]]=>0
[[1,3,4,5,6,7,8],[2]]=>0
[[1,2,4,5,6,7,8],[3]]=>1
[[1,2,3,5,6,7,8],[4]]=>2
[[1,2,3,4,6,7,8],[5]]=>3
[[1,2,3,4,5,7,8],[6]]=>4
[[1,2,3,4,5,6,8],[7]]=>5
[[1,2,3,4,5,6,7],[8]]=>6
[[1,3,5,6,7,8],[2,4]]=>2
[[1,2,5,6,7,8],[3,4]]=>0
[[1,3,4,6,7,8],[2,5]]=>3
[[1,2,4,6,7,8],[3,5]]=>4
[[1,2,3,6,7,8],[4,5]]=>1
[[1,3,4,5,7,8],[2,6]]=>4
[[1,2,4,5,7,8],[3,6]]=>5
[[1,2,3,5,7,8],[4,6]]=>6
[[1,2,3,4,7,8],[5,6]]=>2
[[1,3,4,5,6,8],[2,7]]=>5
[[1,2,4,5,6,8],[3,7]]=>6
[[1,2,3,5,6,8],[4,7]]=>7
[[1,2,3,4,6,8],[5,7]]=>8
[[1,2,3,4,5,8],[6,7]]=>3
[[1,3,4,5,6,7],[2,8]]=>6
[[1,2,4,5,6,7],[3,8]]=>7
[[1,2,3,5,6,7],[4,8]]=>8
[[1,2,3,4,6,7],[5,8]]=>9
[[1,2,3,4,5,7],[6,8]]=>10
[[1,2,3,4,5,6],[7,8]]=>4
[[1,4,5,6,7,8],[2],[3]]=>0
[[1,3,5,6,7,8],[2],[4]]=>1
[[1,2,5,6,7,8],[3],[4]]=>2
[[1,3,4,6,7,8],[2],[5]]=>2
[[1,2,4,6,7,8],[3],[5]]=>3
[[1,2,3,6,7,8],[4],[5]]=>4
[[1,3,4,5,7,8],[2],[6]]=>3
[[1,2,4,5,7,8],[3],[6]]=>4
[[1,2,3,5,7,8],[4],[6]]=>5
[[1,2,3,4,7,8],[5],[6]]=>6
[[1,3,4,5,6,8],[2],[7]]=>4
[[1,2,4,5,6,8],[3],[7]]=>5
[[1,2,3,5,6,8],[4],[7]]=>6
[[1,2,3,4,6,8],[5],[7]]=>7
[[1,2,3,4,5,8],[6],[7]]=>8
[[1,3,4,5,6,7],[2],[8]]=>5
[[1,2,4,5,6,7],[3],[8]]=>6
[[1,2,3,5,6,7],[4],[8]]=>7
[[1,2,3,4,6,7],[5],[8]]=>8
[[1,2,3,4,5,7],[6],[8]]=>9
[[1,2,3,4,5,6],[7],[8]]=>10
[[1,3,5,7,8],[2,4,6]]=>6
[[1,2,5,7,8],[3,4,6]]=>4
[[1,3,4,7,8],[2,5,6]]=>2
[[1,2,4,7,8],[3,5,6]]=>3
[[1,2,3,7,8],[4,5,6]]=>0
[[1,3,5,6,8],[2,4,7]]=>7
[[1,2,5,6,8],[3,4,7]]=>5
[[1,3,4,6,8],[2,5,7]]=>8
[[1,2,4,6,8],[3,5,7]]=>9
[[1,2,3,6,8],[4,5,7]]=>6
[[1,3,4,5,8],[2,6,7]]=>3
[[1,2,4,5,8],[3,6,7]]=>4
[[1,2,3,5,8],[4,6,7]]=>5
[[1,2,3,4,8],[5,6,7]]=>1
[[1,3,5,6,7],[2,4,8]]=>8
[[1,2,5,6,7],[3,4,8]]=>6
[[1,3,4,6,7],[2,5,8]]=>9
[[1,2,4,6,7],[3,5,8]]=>10
[[1,2,3,6,7],[4,5,8]]=>7
[[1,3,4,5,7],[2,6,8]]=>10
[[1,2,4,5,7],[3,6,8]]=>11
[[1,2,3,5,7],[4,6,8]]=>12
[[1,2,3,4,7],[5,6,8]]=>8
[[1,3,4,5,6],[2,7,8]]=>4
[[1,2,4,5,6],[3,7,8]]=>5
[[1,2,3,5,6],[4,7,8]]=>6
[[1,2,3,4,6],[5,7,8]]=>7
[[1,2,3,4,5],[6,7,8]]=>2
[[1,4,6,7,8],[2,5],[3]]=>3
[[1,3,6,7,8],[2,5],[4]]=>0
[[1,2,6,7,8],[3,5],[4]]=>1
[[1,3,6,7,8],[2,4],[5]]=>4
[[1,2,6,7,8],[3,4],[5]]=>2
[[1,4,5,7,8],[2,6],[3]]=>4
[[1,3,5,7,8],[2,6],[4]]=>5
[[1,2,5,7,8],[3,6],[4]]=>6
[[1,3,4,7,8],[2,6],[5]]=>1
[[1,2,4,7,8],[3,6],[5]]=>2
[[1,2,3,7,8],[4,6],[5]]=>3
[[1,3,5,7,8],[2,4],[6]]=>5
[[1,2,5,7,8],[3,4],[6]]=>3
[[1,3,4,7,8],[2,5],[6]]=>6
[[1,2,4,7,8],[3,5],[6]]=>7
[[1,2,3,7,8],[4,5],[6]]=>4
[[1,4,5,6,8],[2,7],[3]]=>5
[[1,3,5,6,8],[2,7],[4]]=>6
[[1,2,5,6,8],[3,7],[4]]=>7
[[1,3,4,6,8],[2,7],[5]]=>7
[[1,2,4,6,8],[3,7],[5]]=>8
[[1,2,3,6,8],[4,7],[5]]=>9
[[1,3,4,5,8],[2,7],[6]]=>2
[[1,2,4,5,8],[3,7],[6]]=>3
[[1,2,3,5,8],[4,7],[6]]=>4
[[1,2,3,4,8],[5,7],[6]]=>5
[[1,3,5,6,8],[2,4],[7]]=>6
[[1,2,5,6,8],[3,4],[7]]=>4
[[1,3,4,6,8],[2,5],[7]]=>7
[[1,2,4,6,8],[3,5],[7]]=>8
[[1,2,3,6,8],[4,5],[7]]=>5
[[1,3,4,5,8],[2,6],[7]]=>8
[[1,2,4,5,8],[3,6],[7]]=>9
[[1,2,3,5,8],[4,6],[7]]=>10
[[1,2,3,4,8],[5,6],[7]]=>6
[[1,4,5,6,7],[2,8],[3]]=>6
[[1,3,5,6,7],[2,8],[4]]=>7
[[1,2,5,6,7],[3,8],[4]]=>8
[[1,3,4,6,7],[2,8],[5]]=>8
[[1,2,4,6,7],[3,8],[5]]=>9
[[1,2,3,6,7],[4,8],[5]]=>10
[[1,3,4,5,7],[2,8],[6]]=>9
[[1,2,4,5,7],[3,8],[6]]=>10
[[1,2,3,5,7],[4,8],[6]]=>11
[[1,2,3,4,7],[5,8],[6]]=>12
[[1,3,4,5,6],[2,8],[7]]=>3
[[1,2,4,5,6],[3,8],[7]]=>4
[[1,2,3,5,6],[4,8],[7]]=>5
[[1,2,3,4,6],[5,8],[7]]=>6
[[1,2,3,4,5],[6,8],[7]]=>7
[[1,3,5,6,7],[2,4],[8]]=>7
[[1,2,5,6,7],[3,4],[8]]=>5
[[1,3,4,6,7],[2,5],[8]]=>8
[[1,2,4,6,7],[3,5],[8]]=>9
[[1,2,3,6,7],[4,5],[8]]=>6
[[1,3,4,5,7],[2,6],[8]]=>9
[[1,2,4,5,7],[3,6],[8]]=>10
[[1,2,3,5,7],[4,6],[8]]=>11
[[1,2,3,4,7],[5,6],[8]]=>7
[[1,3,4,5,6],[2,7],[8]]=>10
[[1,2,4,5,6],[3,7],[8]]=>11
[[1,2,3,5,6],[4,7],[8]]=>12
[[1,2,3,4,6],[5,7],[8]]=>13
[[1,2,3,4,5],[6,7],[8]]=>8
[[1,5,6,7,8],[2],[3],[4]]=>0
[[1,4,6,7,8],[2],[3],[5]]=>1
[[1,3,6,7,8],[2],[4],[5]]=>2
[[1,2,6,7,8],[3],[4],[5]]=>3
[[1,4,5,7,8],[2],[3],[6]]=>2
[[1,3,5,7,8],[2],[4],[6]]=>3
[[1,2,5,7,8],[3],[4],[6]]=>4
[[1,3,4,7,8],[2],[5],[6]]=>4
[[1,2,4,7,8],[3],[5],[6]]=>5
[[1,2,3,7,8],[4],[5],[6]]=>6
[[1,4,5,6,8],[2],[3],[7]]=>3
[[1,3,5,6,8],[2],[4],[7]]=>4
[[1,2,5,6,8],[3],[4],[7]]=>5
[[1,3,4,6,8],[2],[5],[7]]=>5
[[1,2,4,6,8],[3],[5],[7]]=>6
[[1,2,3,6,8],[4],[5],[7]]=>7
[[1,3,4,5,8],[2],[6],[7]]=>6
[[1,2,4,5,8],[3],[6],[7]]=>7
[[1,2,3,5,8],[4],[6],[7]]=>8
[[1,2,3,4,8],[5],[6],[7]]=>9
[[1,4,5,6,7],[2],[3],[8]]=>4
[[1,3,5,6,7],[2],[4],[8]]=>5
[[1,2,5,6,7],[3],[4],[8]]=>6
[[1,3,4,6,7],[2],[5],[8]]=>6
[[1,2,4,6,7],[3],[5],[8]]=>7
[[1,2,3,6,7],[4],[5],[8]]=>8
[[1,3,4,5,7],[2],[6],[8]]=>7
[[1,2,4,5,7],[3],[6],[8]]=>8
[[1,2,3,5,7],[4],[6],[8]]=>9
[[1,2,3,4,7],[5],[6],[8]]=>10
[[1,3,4,5,6],[2],[7],[8]]=>8
[[1,2,4,5,6],[3],[7],[8]]=>9
[[1,2,3,5,6],[4],[7],[8]]=>10
[[1,2,3,4,6],[5],[7],[8]]=>11
[[1,2,3,4,5],[6],[7],[8]]=>12
[[1,3,5,7],[2,4,6,8]]=>12
[[1,2,5,7],[3,4,6,8]]=>10
[[1,3,4,7],[2,5,6,8]]=>8
[[1,2,4,7],[3,5,6,8]]=>9
[[1,2,3,7],[4,5,6,8]]=>6
[[1,3,5,6],[2,4,7,8]]=>6
[[1,2,5,6],[3,4,7,8]]=>4
[[1,3,4,6],[2,5,7,8]]=>7
[[1,2,4,6],[3,5,7,8]]=>8
[[1,2,3,6],[4,5,7,8]]=>5
[[1,3,4,5],[2,6,7,8]]=>2
[[1,2,4,5],[3,6,7,8]]=>3
[[1,2,3,5],[4,6,7,8]]=>4
[[1,2,3,4],[5,6,7,8]]=>0
[[1,4,6,8],[2,5,7],[3]]=>8
[[1,3,6,8],[2,5,7],[4]]=>5
[[1,2,6,8],[3,5,7],[4]]=>6
[[1,3,6,8],[2,4,7],[5]]=>9
[[1,2,6,8],[3,4,7],[5]]=>7
[[1,4,5,8],[2,6,7],[3]]=>3
[[1,3,5,8],[2,6,7],[4]]=>4
[[1,2,5,8],[3,6,7],[4]]=>5
[[1,3,4,8],[2,6,7],[5]]=>0
[[1,2,4,8],[3,6,7],[5]]=>1
[[1,2,3,8],[4,6,7],[5]]=>2
[[1,3,5,8],[2,4,7],[6]]=>4
[[1,2,5,8],[3,4,7],[6]]=>2
[[1,3,4,8],[2,5,7],[6]]=>5
[[1,2,4,8],[3,5,7],[6]]=>6
[[1,2,3,8],[4,5,7],[6]]=>3
[[1,3,5,8],[2,4,6],[7]]=>10
[[1,2,5,8],[3,4,6],[7]]=>8
[[1,3,4,8],[2,5,6],[7]]=>6
[[1,2,4,8],[3,5,6],[7]]=>7
[[1,2,3,8],[4,5,6],[7]]=>4
[[1,4,6,7],[2,5,8],[3]]=>9
[[1,3,6,7],[2,5,8],[4]]=>6
[[1,2,6,7],[3,5,8],[4]]=>7
[[1,3,6,7],[2,4,8],[5]]=>10
[[1,2,6,7],[3,4,8],[5]]=>8
[[1,4,5,7],[2,6,8],[3]]=>10
[[1,3,5,7],[2,6,8],[4]]=>11
[[1,2,5,7],[3,6,8],[4]]=>12
[[1,3,4,7],[2,6,8],[5]]=>7
[[1,2,4,7],[3,6,8],[5]]=>8
[[1,2,3,7],[4,6,8],[5]]=>9
[[1,3,5,7],[2,4,8],[6]]=>11
[[1,2,5,7],[3,4,8],[6]]=>9
[[1,3,4,7],[2,5,8],[6]]=>12
[[1,2,4,7],[3,5,8],[6]]=>13
[[1,2,3,7],[4,5,8],[6]]=>10
[[1,4,5,6],[2,7,8],[3]]=>4
[[1,3,5,6],[2,7,8],[4]]=>5
[[1,2,5,6],[3,7,8],[4]]=>6
[[1,3,4,6],[2,7,8],[5]]=>6
[[1,2,4,6],[3,7,8],[5]]=>7
[[1,2,3,6],[4,7,8],[5]]=>8
[[1,3,4,5],[2,7,8],[6]]=>1
[[1,2,4,5],[3,7,8],[6]]=>2
[[1,2,3,5],[4,7,8],[6]]=>3
[[1,2,3,4],[5,7,8],[6]]=>4
[[1,3,5,6],[2,4,8],[7]]=>5
[[1,2,5,6],[3,4,8],[7]]=>3
[[1,3,4,6],[2,5,8],[7]]=>6
[[1,2,4,6],[3,5,8],[7]]=>7
[[1,2,3,6],[4,5,8],[7]]=>4
[[1,3,4,5],[2,6,8],[7]]=>7
[[1,2,4,5],[3,6,8],[7]]=>8
[[1,2,3,5],[4,6,8],[7]]=>9
[[1,2,3,4],[5,6,8],[7]]=>5
[[1,3,5,7],[2,4,6],[8]]=>11
[[1,2,5,7],[3,4,6],[8]]=>9
[[1,3,4,7],[2,5,6],[8]]=>7
[[1,2,4,7],[3,5,6],[8]]=>8
[[1,2,3,7],[4,5,6],[8]]=>5
[[1,3,5,6],[2,4,7],[8]]=>12
[[1,2,5,6],[3,4,7],[8]]=>10
[[1,3,4,6],[2,5,7],[8]]=>13
[[1,2,4,6],[3,5,7],[8]]=>14
[[1,2,3,6],[4,5,7],[8]]=>11
[[1,3,4,5],[2,6,7],[8]]=>8
[[1,2,4,5],[3,6,7],[8]]=>9
[[1,2,3,5],[4,6,7],[8]]=>10
[[1,2,3,4],[5,6,7],[8]]=>6
[[1,4,7,8],[2,5],[3,6]]=>6
[[1,3,7,8],[2,5],[4,6]]=>3
[[1,2,7,8],[3,5],[4,6]]=>4
[[1,3,7,8],[2,4],[5,6]]=>2
[[1,2,7,8],[3,4],[5,6]]=>0
[[1,4,6,8],[2,5],[3,7]]=>7
[[1,3,6,8],[2,5],[4,7]]=>4
[[1,2,6,8],[3,5],[4,7]]=>5
[[1,3,6,8],[2,4],[5,7]]=>8
[[1,2,6,8],[3,4],[5,7]]=>6
[[1,4,5,8],[2,6],[3,7]]=>8
[[1,3,5,8],[2,6],[4,7]]=>9
[[1,2,5,8],[3,6],[4,7]]=>10
[[1,3,4,8],[2,6],[5,7]]=>5
[[1,2,4,8],[3,6],[5,7]]=>6
[[1,2,3,8],[4,6],[5,7]]=>7
[[1,3,5,8],[2,4],[6,7]]=>3
[[1,2,5,8],[3,4],[6,7]]=>1
[[1,3,4,8],[2,5],[6,7]]=>4
[[1,2,4,8],[3,5],[6,7]]=>5
[[1,2,3,8],[4,5],[6,7]]=>2
[[1,4,6,7],[2,5],[3,8]]=>8
[[1,3,6,7],[2,5],[4,8]]=>5
[[1,2,6,7],[3,5],[4,8]]=>6
[[1,3,6,7],[2,4],[5,8]]=>9
[[1,2,6,7],[3,4],[5,8]]=>7
[[1,4,5,7],[2,6],[3,8]]=>9
[[1,3,5,7],[2,6],[4,8]]=>10
[[1,2,5,7],[3,6],[4,8]]=>11
[[1,3,4,7],[2,6],[5,8]]=>6
[[1,2,4,7],[3,6],[5,8]]=>7
[[1,2,3,7],[4,6],[5,8]]=>8
[[1,3,5,7],[2,4],[6,8]]=>10
[[1,2,5,7],[3,4],[6,8]]=>8
[[1,3,4,7],[2,5],[6,8]]=>11
[[1,2,4,7],[3,5],[6,8]]=>12
[[1,2,3,7],[4,5],[6,8]]=>9
[[1,4,5,6],[2,7],[3,8]]=>10
[[1,3,5,6],[2,7],[4,8]]=>11
[[1,2,5,6],[3,7],[4,8]]=>12
[[1,3,4,6],[2,7],[5,8]]=>12
[[1,2,4,6],[3,7],[5,8]]=>13
[[1,2,3,6],[4,7],[5,8]]=>14
[[1,3,4,5],[2,7],[6,8]]=>7
[[1,2,4,5],[3,7],[6,8]]=>8
[[1,2,3,5],[4,7],[6,8]]=>9
[[1,2,3,4],[5,7],[6,8]]=>10
[[1,3,5,6],[2,4],[7,8]]=>4
[[1,2,5,6],[3,4],[7,8]]=>2
[[1,3,4,6],[2,5],[7,8]]=>5
[[1,2,4,6],[3,5],[7,8]]=>6
[[1,2,3,6],[4,5],[7,8]]=>3
[[1,3,4,5],[2,6],[7,8]]=>6
[[1,2,4,5],[3,6],[7,8]]=>7
[[1,2,3,5],[4,6],[7,8]]=>8
[[1,2,3,4],[5,6],[7,8]]=>4
[[1,5,7,8],[2,6],[3],[4]]=>4
[[1,4,7,8],[2,6],[3],[5]]=>0
[[1,3,7,8],[2,6],[4],[5]]=>1
[[1,2,7,8],[3,6],[4],[5]]=>2
[[1,4,7,8],[2,5],[3],[6]]=>5
[[1,3,7,8],[2,5],[4],[6]]=>2
[[1,2,7,8],[3,5],[4],[6]]=>3
[[1,3,7,8],[2,4],[5],[6]]=>6
[[1,2,7,8],[3,4],[5],[6]]=>4
[[1,5,6,8],[2,7],[3],[4]]=>5
[[1,4,6,8],[2,7],[3],[5]]=>6
[[1,3,6,8],[2,7],[4],[5]]=>7
[[1,2,6,8],[3,7],[4],[5]]=>8
[[1,4,5,8],[2,7],[3],[6]]=>1
[[1,3,5,8],[2,7],[4],[6]]=>2
[[1,2,5,8],[3,7],[4],[6]]=>3
[[1,3,4,8],[2,7],[5],[6]]=>3
[[1,2,4,8],[3,7],[5],[6]]=>4
[[1,2,3,8],[4,7],[5],[6]]=>5
[[1,4,6,8],[2,5],[3],[7]]=>6
[[1,3,6,8],[2,5],[4],[7]]=>3
[[1,2,6,8],[3,5],[4],[7]]=>4
[[1,3,6,8],[2,4],[5],[7]]=>7
[[1,2,6,8],[3,4],[5],[7]]=>5
[[1,4,5,8],[2,6],[3],[7]]=>7
[[1,3,5,8],[2,6],[4],[7]]=>8
[[1,2,5,8],[3,6],[4],[7]]=>9
[[1,3,4,8],[2,6],[5],[7]]=>4
[[1,2,4,8],[3,6],[5],[7]]=>5
[[1,2,3,8],[4,6],[5],[7]]=>6
[[1,3,5,8],[2,4],[6],[7]]=>8
[[1,2,5,8],[3,4],[6],[7]]=>6
[[1,3,4,8],[2,5],[6],[7]]=>9
[[1,2,4,8],[3,5],[6],[7]]=>10
[[1,2,3,8],[4,5],[6],[7]]=>7
[[1,5,6,7],[2,8],[3],[4]]=>6
[[1,4,6,7],[2,8],[3],[5]]=>7
[[1,3,6,7],[2,8],[4],[5]]=>8
[[1,2,6,7],[3,8],[4],[5]]=>9
[[1,4,5,7],[2,8],[3],[6]]=>8
[[1,3,5,7],[2,8],[4],[6]]=>9
[[1,2,5,7],[3,8],[4],[6]]=>10
[[1,3,4,7],[2,8],[5],[6]]=>10
[[1,2,4,7],[3,8],[5],[6]]=>11
[[1,2,3,7],[4,8],[5],[6]]=>12
[[1,4,5,6],[2,8],[3],[7]]=>2
[[1,3,5,6],[2,8],[4],[7]]=>3
[[1,2,5,6],[3,8],[4],[7]]=>4
[[1,3,4,6],[2,8],[5],[7]]=>4
[[1,2,4,6],[3,8],[5],[7]]=>5
[[1,2,3,6],[4,8],[5],[7]]=>6
[[1,3,4,5],[2,8],[6],[7]]=>5
[[1,2,4,5],[3,8],[6],[7]]=>6
[[1,2,3,5],[4,8],[6],[7]]=>7
[[1,2,3,4],[5,8],[6],[7]]=>8
[[1,4,6,7],[2,5],[3],[8]]=>7
[[1,3,6,7],[2,5],[4],[8]]=>4
[[1,2,6,7],[3,5],[4],[8]]=>5
[[1,3,6,7],[2,4],[5],[8]]=>8
[[1,2,6,7],[3,4],[5],[8]]=>6
[[1,4,5,7],[2,6],[3],[8]]=>8
[[1,3,5,7],[2,6],[4],[8]]=>9
[[1,2,5,7],[3,6],[4],[8]]=>10
[[1,3,4,7],[2,6],[5],[8]]=>5
[[1,2,4,7],[3,6],[5],[8]]=>6
[[1,2,3,7],[4,6],[5],[8]]=>7
[[1,3,5,7],[2,4],[6],[8]]=>9
[[1,2,5,7],[3,4],[6],[8]]=>7
[[1,3,4,7],[2,5],[6],[8]]=>10
[[1,2,4,7],[3,5],[6],[8]]=>11
[[1,2,3,7],[4,5],[6],[8]]=>8
[[1,4,5,6],[2,7],[3],[8]]=>9
[[1,3,5,6],[2,7],[4],[8]]=>10
[[1,2,5,6],[3,7],[4],[8]]=>11
[[1,3,4,6],[2,7],[5],[8]]=>11
[[1,2,4,6],[3,7],[5],[8]]=>12
[[1,2,3,6],[4,7],[5],[8]]=>13
[[1,3,4,5],[2,7],[6],[8]]=>6
[[1,2,4,5],[3,7],[6],[8]]=>7
[[1,2,3,5],[4,7],[6],[8]]=>8
[[1,2,3,4],[5,7],[6],[8]]=>9
[[1,3,5,6],[2,4],[7],[8]]=>10
[[1,2,5,6],[3,4],[7],[8]]=>8
[[1,3,4,6],[2,5],[7],[8]]=>11
[[1,2,4,6],[3,5],[7],[8]]=>12
[[1,2,3,6],[4,5],[7],[8]]=>9
[[1,3,4,5],[2,6],[7],[8]]=>12
[[1,2,4,5],[3,6],[7],[8]]=>13
[[1,2,3,5],[4,6],[7],[8]]=>14
[[1,2,3,4],[5,6],[7],[8]]=>10
[[1,6,7,8],[2],[3],[4],[5]]=>0
[[1,5,7,8],[2],[3],[4],[6]]=>1
[[1,4,7,8],[2],[3],[5],[6]]=>2
[[1,3,7,8],[2],[4],[5],[6]]=>3
[[1,2,7,8],[3],[4],[5],[6]]=>4
[[1,5,6,8],[2],[3],[4],[7]]=>2
[[1,4,6,8],[2],[3],[5],[7]]=>3
[[1,3,6,8],[2],[4],[5],[7]]=>4
[[1,2,6,8],[3],[4],[5],[7]]=>5
[[1,4,5,8],[2],[3],[6],[7]]=>4
[[1,3,5,8],[2],[4],[6],[7]]=>5
[[1,2,5,8],[3],[4],[6],[7]]=>6
[[1,3,4,8],[2],[5],[6],[7]]=>6
[[1,2,4,8],[3],[5],[6],[7]]=>7
[[1,2,3,8],[4],[5],[6],[7]]=>8
[[1,5,6,7],[2],[3],[4],[8]]=>3
[[1,4,6,7],[2],[3],[5],[8]]=>4
[[1,3,6,7],[2],[4],[5],[8]]=>5
[[1,2,6,7],[3],[4],[5],[8]]=>6
[[1,4,5,7],[2],[3],[6],[8]]=>5
[[1,3,5,7],[2],[4],[6],[8]]=>6
[[1,2,5,7],[3],[4],[6],[8]]=>7
[[1,3,4,7],[2],[5],[6],[8]]=>7
[[1,2,4,7],[3],[5],[6],[8]]=>8
[[1,2,3,7],[4],[5],[6],[8]]=>9
[[1,4,5,6],[2],[3],[7],[8]]=>6
[[1,3,5,6],[2],[4],[7],[8]]=>7
[[1,2,5,6],[3],[4],[7],[8]]=>8
[[1,3,4,6],[2],[5],[7],[8]]=>8
[[1,2,4,6],[3],[5],[7],[8]]=>9
[[1,2,3,6],[4],[5],[7],[8]]=>10
[[1,3,4,5],[2],[6],[7],[8]]=>9
[[1,2,4,5],[3],[6],[7],[8]]=>10
[[1,2,3,5],[4],[6],[7],[8]]=>11
[[1,2,3,4],[5],[6],[7],[8]]=>12
[[1,4,7],[2,5,8],[3,6]]=>12
[[1,3,7],[2,5,8],[4,6]]=>9
[[1,2,7],[3,5,8],[4,6]]=>10
[[1,3,7],[2,4,8],[5,6]]=>8
[[1,2,7],[3,4,8],[5,6]]=>6
[[1,4,6],[2,5,8],[3,7]]=>6
[[1,3,6],[2,5,8],[4,7]]=>3
[[1,2,6],[3,5,8],[4,7]]=>4
[[1,3,6],[2,4,8],[5,7]]=>7
[[1,2,6],[3,4,8],[5,7]]=>5
[[1,4,5],[2,6,8],[3,7]]=>7
[[1,3,5],[2,6,8],[4,7]]=>8
[[1,2,5],[3,6,8],[4,7]]=>9
[[1,3,4],[2,6,8],[5,7]]=>4
[[1,2,4],[3,6,8],[5,7]]=>5
[[1,2,3],[4,6,8],[5,7]]=>6
[[1,3,5],[2,4,8],[6,7]]=>2
[[1,2,5],[3,4,8],[6,7]]=>0
[[1,3,4],[2,5,8],[6,7]]=>3
[[1,2,4],[3,5,8],[6,7]]=>4
[[1,2,3],[4,5,8],[6,7]]=>1
[[1,4,6],[2,5,7],[3,8]]=>13
[[1,3,6],[2,5,7],[4,8]]=>10
[[1,2,6],[3,5,7],[4,8]]=>11
[[1,3,6],[2,4,7],[5,8]]=>14
[[1,2,6],[3,4,7],[5,8]]=>12
[[1,4,5],[2,6,7],[3,8]]=>8
[[1,3,5],[2,6,7],[4,8]]=>9
[[1,2,5],[3,6,7],[4,8]]=>10
[[1,3,4],[2,6,7],[5,8]]=>5
[[1,2,4],[3,6,7],[5,8]]=>6
[[1,2,3],[4,6,7],[5,8]]=>7
[[1,3,5],[2,4,7],[6,8]]=>9
[[1,2,5],[3,4,7],[6,8]]=>7
[[1,3,4],[2,5,7],[6,8]]=>10
[[1,2,4],[3,5,7],[6,8]]=>11
[[1,2,3],[4,5,7],[6,8]]=>8
[[1,3,5],[2,4,6],[7,8]]=>8
[[1,2,5],[3,4,6],[7,8]]=>6
[[1,3,4],[2,5,6],[7,8]]=>4
[[1,2,4],[3,5,6],[7,8]]=>5
[[1,2,3],[4,5,6],[7,8]]=>2
[[1,5,7],[2,6,8],[3],[4]]=>10
[[1,4,7],[2,6,8],[3],[5]]=>6
[[1,3,7],[2,6,8],[4],[5]]=>7
[[1,2,7],[3,6,8],[4],[5]]=>8
[[1,4,7],[2,5,8],[3],[6]]=>11
[[1,3,7],[2,5,8],[4],[6]]=>8
[[1,2,7],[3,5,8],[4],[6]]=>9
[[1,3,7],[2,4,8],[5],[6]]=>12
[[1,2,7],[3,4,8],[5],[6]]=>10
[[1,5,6],[2,7,8],[3],[4]]=>4
[[1,4,6],[2,7,8],[3],[5]]=>5
[[1,3,6],[2,7,8],[4],[5]]=>6
[[1,2,6],[3,7,8],[4],[5]]=>7
[[1,4,5],[2,7,8],[3],[6]]=>0
[[1,3,5],[2,7,8],[4],[6]]=>1
[[1,2,5],[3,7,8],[4],[6]]=>2
[[1,3,4],[2,7,8],[5],[6]]=>2
[[1,2,4],[3,7,8],[5],[6]]=>3
[[1,2,3],[4,7,8],[5],[6]]=>4
[[1,4,6],[2,5,8],[3],[7]]=>5
[[1,3,6],[2,5,8],[4],[7]]=>2
[[1,2,6],[3,5,8],[4],[7]]=>3
[[1,3,6],[2,4,8],[5],[7]]=>6
[[1,2,6],[3,4,8],[5],[7]]=>4
[[1,4,5],[2,6,8],[3],[7]]=>6
[[1,3,5],[2,6,8],[4],[7]]=>7
[[1,2,5],[3,6,8],[4],[7]]=>8
[[1,3,4],[2,6,8],[5],[7]]=>3
[[1,2,4],[3,6,8],[5],[7]]=>4
[[1,2,3],[4,6,8],[5],[7]]=>5
[[1,3,5],[2,4,8],[6],[7]]=>7
[[1,2,5],[3,4,8],[6],[7]]=>5
[[1,3,4],[2,5,8],[6],[7]]=>8
[[1,2,4],[3,5,8],[6],[7]]=>9
[[1,2,3],[4,5,8],[6],[7]]=>6
[[1,4,6],[2,5,7],[3],[8]]=>12
[[1,3,6],[2,5,7],[4],[8]]=>9
[[1,2,6],[3,5,7],[4],[8]]=>10
[[1,3,6],[2,4,7],[5],[8]]=>13
[[1,2,6],[3,4,7],[5],[8]]=>11
[[1,4,5],[2,6,7],[3],[8]]=>7
[[1,3,5],[2,6,7],[4],[8]]=>8
[[1,2,5],[3,6,7],[4],[8]]=>9
[[1,3,4],[2,6,7],[5],[8]]=>4
[[1,2,4],[3,6,7],[5],[8]]=>5
[[1,2,3],[4,6,7],[5],[8]]=>6
[[1,3,5],[2,4,7],[6],[8]]=>8
[[1,2,5],[3,4,7],[6],[8]]=>6
[[1,3,4],[2,5,7],[6],[8]]=>9
[[1,2,4],[3,5,7],[6],[8]]=>10
[[1,2,3],[4,5,7],[6],[8]]=>7
[[1,3,5],[2,4,6],[7],[8]]=>14
[[1,2,5],[3,4,6],[7],[8]]=>12
[[1,3,4],[2,5,6],[7],[8]]=>10
[[1,2,4],[3,5,6],[7],[8]]=>11
[[1,2,3],[4,5,6],[7],[8]]=>8
[[1,5,8],[2,6],[3,7],[4]]=>8
[[1,4,8],[2,6],[3,7],[5]]=>4
[[1,3,8],[2,6],[4,7],[5]]=>5
[[1,2,8],[3,6],[4,7],[5]]=>6
[[1,4,8],[2,5],[3,7],[6]]=>3
[[1,3,8],[2,5],[4,7],[6]]=>0
[[1,2,8],[3,5],[4,7],[6]]=>1
[[1,3,8],[2,4],[5,7],[6]]=>4
[[1,2,8],[3,4],[5,7],[6]]=>2
[[1,4,8],[2,5],[3,6],[7]]=>9
[[1,3,8],[2,5],[4,6],[7]]=>6
[[1,2,8],[3,5],[4,6],[7]]=>7
[[1,3,8],[2,4],[5,6],[7]]=>5
[[1,2,8],[3,4],[5,6],[7]]=>3
[[1,5,7],[2,6],[3,8],[4]]=>9
[[1,4,7],[2,6],[3,8],[5]]=>5
[[1,3,7],[2,6],[4,8],[5]]=>6
[[1,2,7],[3,6],[4,8],[5]]=>7
[[1,4,7],[2,5],[3,8],[6]]=>10
[[1,3,7],[2,5],[4,8],[6]]=>7
[[1,2,7],[3,5],[4,8],[6]]=>8
[[1,3,7],[2,4],[5,8],[6]]=>11
[[1,2,7],[3,4],[5,8],[6]]=>9
[[1,5,6],[2,7],[3,8],[4]]=>10
[[1,4,6],[2,7],[3,8],[5]]=>11
[[1,3,6],[2,7],[4,8],[5]]=>12
[[1,2,6],[3,7],[4,8],[5]]=>13
[[1,4,5],[2,7],[3,8],[6]]=>6
[[1,3,5],[2,7],[4,8],[6]]=>7
[[1,2,5],[3,7],[4,8],[6]]=>8
[[1,3,4],[2,7],[5,8],[6]]=>8
[[1,2,4],[3,7],[5,8],[6]]=>9
[[1,2,3],[4,7],[5,8],[6]]=>10
[[1,4,6],[2,5],[3,8],[7]]=>4
[[1,3,6],[2,5],[4,8],[7]]=>1
[[1,2,6],[3,5],[4,8],[7]]=>2
[[1,3,6],[2,4],[5,8],[7]]=>5
[[1,2,6],[3,4],[5,8],[7]]=>3
[[1,4,5],[2,6],[3,8],[7]]=>5
[[1,3,5],[2,6],[4,8],[7]]=>6
[[1,2,5],[3,6],[4,8],[7]]=>7
[[1,3,4],[2,6],[5,8],[7]]=>2
[[1,2,4],[3,6],[5,8],[7]]=>3
[[1,2,3],[4,6],[5,8],[7]]=>4
[[1,3,5],[2,4],[6,8],[7]]=>6
[[1,2,5],[3,4],[6,8],[7]]=>4
[[1,3,4],[2,5],[6,8],[7]]=>7
[[1,2,4],[3,5],[6,8],[7]]=>8
[[1,2,3],[4,5],[6,8],[7]]=>5
[[1,4,7],[2,5],[3,6],[8]]=>10
[[1,3,7],[2,5],[4,6],[8]]=>7
[[1,2,7],[3,5],[4,6],[8]]=>8
[[1,3,7],[2,4],[5,6],[8]]=>6
[[1,2,7],[3,4],[5,6],[8]]=>4
[[1,4,6],[2,5],[3,7],[8]]=>11
[[1,3,6],[2,5],[4,7],[8]]=>8
[[1,2,6],[3,5],[4,7],[8]]=>9
[[1,3,6],[2,4],[5,7],[8]]=>12
[[1,2,6],[3,4],[5,7],[8]]=>10
[[1,4,5],[2,6],[3,7],[8]]=>12
[[1,3,5],[2,6],[4,7],[8]]=>13
[[1,2,5],[3,6],[4,7],[8]]=>14
[[1,3,4],[2,6],[5,7],[8]]=>9
[[1,2,4],[3,6],[5,7],[8]]=>10
[[1,2,3],[4,6],[5,7],[8]]=>11
[[1,3,5],[2,4],[6,7],[8]]=>7
[[1,2,5],[3,4],[6,7],[8]]=>5
[[1,3,4],[2,5],[6,7],[8]]=>8
[[1,2,4],[3,5],[6,7],[8]]=>9
[[1,2,3],[4,5],[6,7],[8]]=>6
[[1,6,8],[2,7],[3],[4],[5]]=>5
[[1,5,8],[2,7],[3],[4],[6]]=>0
[[1,4,8],[2,7],[3],[5],[6]]=>1
[[1,3,8],[2,7],[4],[5],[6]]=>2
[[1,2,8],[3,7],[4],[5],[6]]=>3
[[1,5,8],[2,6],[3],[4],[7]]=>6
[[1,4,8],[2,6],[3],[5],[7]]=>2
[[1,3,8],[2,6],[4],[5],[7]]=>3
[[1,2,8],[3,6],[4],[5],[7]]=>4
[[1,4,8],[2,5],[3],[6],[7]]=>7
[[1,3,8],[2,5],[4],[6],[7]]=>4
[[1,2,8],[3,5],[4],[6],[7]]=>5
[[1,3,8],[2,4],[5],[6],[7]]=>8
[[1,2,8],[3,4],[5],[6],[7]]=>6
[[1,6,7],[2,8],[3],[4],[5]]=>6
[[1,5,7],[2,8],[3],[4],[6]]=>7
[[1,4,7],[2,8],[3],[5],[6]]=>8
[[1,3,7],[2,8],[4],[5],[6]]=>9
[[1,2,7],[3,8],[4],[5],[6]]=>10
[[1,5,6],[2,8],[3],[4],[7]]=>1
[[1,4,6],[2,8],[3],[5],[7]]=>2
[[1,3,6],[2,8],[4],[5],[7]]=>3
[[1,2,6],[3,8],[4],[5],[7]]=>4
[[1,4,5],[2,8],[3],[6],[7]]=>3
[[1,3,5],[2,8],[4],[6],[7]]=>4
[[1,2,5],[3,8],[4],[6],[7]]=>5
[[1,3,4],[2,8],[5],[6],[7]]=>5
[[1,2,4],[3,8],[5],[6],[7]]=>6
[[1,2,3],[4,8],[5],[6],[7]]=>7
[[1,5,7],[2,6],[3],[4],[8]]=>7
[[1,4,7],[2,6],[3],[5],[8]]=>3
[[1,3,7],[2,6],[4],[5],[8]]=>4
[[1,2,7],[3,6],[4],[5],[8]]=>5
[[1,4,7],[2,5],[3],[6],[8]]=>8
[[1,3,7],[2,5],[4],[6],[8]]=>5
[[1,2,7],[3,5],[4],[6],[8]]=>6
[[1,3,7],[2,4],[5],[6],[8]]=>9
[[1,2,7],[3,4],[5],[6],[8]]=>7
[[1,5,6],[2,7],[3],[4],[8]]=>8
[[1,4,6],[2,7],[3],[5],[8]]=>9
[[1,3,6],[2,7],[4],[5],[8]]=>10
[[1,2,6],[3,7],[4],[5],[8]]=>11
[[1,4,5],[2,7],[3],[6],[8]]=>4
[[1,3,5],[2,7],[4],[6],[8]]=>5
[[1,2,5],[3,7],[4],[6],[8]]=>6
[[1,3,4],[2,7],[5],[6],[8]]=>6
[[1,2,4],[3,7],[5],[6],[8]]=>7
[[1,2,3],[4,7],[5],[6],[8]]=>8
[[1,4,6],[2,5],[3],[7],[8]]=>9
[[1,3,6],[2,5],[4],[7],[8]]=>6
[[1,2,6],[3,5],[4],[7],[8]]=>7
[[1,3,6],[2,4],[5],[7],[8]]=>10
[[1,2,6],[3,4],[5],[7],[8]]=>8
[[1,4,5],[2,6],[3],[7],[8]]=>10
[[1,3,5],[2,6],[4],[7],[8]]=>11
[[1,2,5],[3,6],[4],[7],[8]]=>12
[[1,3,4],[2,6],[5],[7],[8]]=>7
[[1,2,4],[3,6],[5],[7],[8]]=>8
[[1,2,3],[4,6],[5],[7],[8]]=>9
[[1,3,5],[2,4],[6],[7],[8]]=>11
[[1,2,5],[3,4],[6],[7],[8]]=>9
[[1,3,4],[2,5],[6],[7],[8]]=>12
[[1,2,4],[3,5],[6],[7],[8]]=>13
[[1,2,3],[4,5],[6],[7],[8]]=>10
[[1,7,8],[2],[3],[4],[5],[6]]=>0
[[1,6,8],[2],[3],[4],[5],[7]]=>1
[[1,5,8],[2],[3],[4],[6],[7]]=>2
[[1,4,8],[2],[3],[5],[6],[7]]=>3
[[1,3,8],[2],[4],[5],[6],[7]]=>4
[[1,2,8],[3],[4],[5],[6],[7]]=>5
[[1,6,7],[2],[3],[4],[5],[8]]=>2
[[1,5,7],[2],[3],[4],[6],[8]]=>3
[[1,4,7],[2],[3],[5],[6],[8]]=>4
[[1,3,7],[2],[4],[5],[6],[8]]=>5
[[1,2,7],[3],[4],[5],[6],[8]]=>6
[[1,5,6],[2],[3],[4],[7],[8]]=>4
[[1,4,6],[2],[3],[5],[7],[8]]=>5
[[1,3,6],[2],[4],[5],[7],[8]]=>6
[[1,2,6],[3],[4],[5],[7],[8]]=>7
[[1,4,5],[2],[3],[6],[7],[8]]=>6
[[1,3,5],[2],[4],[6],[7],[8]]=>7
[[1,2,5],[3],[4],[6],[7],[8]]=>8
[[1,3,4],[2],[5],[6],[7],[8]]=>8
[[1,2,4],[3],[5],[6],[7],[8]]=>9
[[1,2,3],[4],[5],[6],[7],[8]]=>10
[[1,5],[2,6],[3,7],[4,8]]=>12
[[1,4],[2,6],[3,7],[5,8]]=>8
[[1,3],[2,6],[4,7],[5,8]]=>9
[[1,2],[3,6],[4,7],[5,8]]=>10
[[1,4],[2,5],[3,7],[6,8]]=>7
[[1,3],[2,5],[4,7],[6,8]]=>4
[[1,2],[3,5],[4,7],[6,8]]=>5
[[1,3],[2,4],[5,7],[6,8]]=>8
[[1,2],[3,4],[5,7],[6,8]]=>6
[[1,4],[2,5],[3,6],[7,8]]=>6
[[1,3],[2,5],[4,6],[7,8]]=>3
[[1,2],[3,5],[4,6],[7,8]]=>4
[[1,3],[2,4],[5,6],[7,8]]=>2
[[1,2],[3,4],[5,6],[7,8]]=>0
[[1,6],[2,7],[3,8],[4],[5]]=>10
[[1,5],[2,7],[3,8],[4],[6]]=>5
[[1,4],[2,7],[3,8],[5],[6]]=>6
[[1,3],[2,7],[4,8],[5],[6]]=>7
[[1,2],[3,7],[4,8],[5],[6]]=>8
[[1,5],[2,6],[3,8],[4],[7]]=>4
[[1,4],[2,6],[3,8],[5],[7]]=>0
[[1,3],[2,6],[4,8],[5],[7]]=>1
[[1,2],[3,6],[4,8],[5],[7]]=>2
[[1,4],[2,5],[3,8],[6],[7]]=>5
[[1,3],[2,5],[4,8],[6],[7]]=>2
[[1,2],[3,5],[4,8],[6],[7]]=>3
[[1,3],[2,4],[5,8],[6],[7]]=>6
[[1,2],[3,4],[5,8],[6],[7]]=>4
[[1,5],[2,6],[3,7],[4],[8]]=>11
[[1,4],[2,6],[3,7],[5],[8]]=>7
[[1,3],[2,6],[4,7],[5],[8]]=>8
[[1,2],[3,6],[4,7],[5],[8]]=>9
[[1,4],[2,5],[3,7],[6],[8]]=>6
[[1,3],[2,5],[4,7],[6],[8]]=>3
[[1,2],[3,5],[4,7],[6],[8]]=>4
[[1,3],[2,4],[5,7],[6],[8]]=>7
[[1,2],[3,4],[5,7],[6],[8]]=>5
[[1,4],[2,5],[3,6],[7],[8]]=>12
[[1,3],[2,5],[4,6],[7],[8]]=>9
[[1,2],[3,5],[4,6],[7],[8]]=>10
[[1,3],[2,4],[5,6],[7],[8]]=>8
[[1,2],[3,4],[5,6],[7],[8]]=>6
[[1,7],[2,8],[3],[4],[5],[6]]=>6
[[1,6],[2,8],[3],[4],[5],[7]]=>0
[[1,5],[2,8],[3],[4],[6],[7]]=>1
[[1,4],[2,8],[3],[5],[6],[7]]=>2
[[1,3],[2,8],[4],[5],[6],[7]]=>3
[[1,2],[3,8],[4],[5],[6],[7]]=>4
[[1,6],[2,7],[3],[4],[5],[8]]=>7
[[1,5],[2,7],[3],[4],[6],[8]]=>2
[[1,4],[2,7],[3],[5],[6],[8]]=>3
[[1,3],[2,7],[4],[5],[6],[8]]=>4
[[1,2],[3,7],[4],[5],[6],[8]]=>5
[[1,5],[2,6],[3],[4],[7],[8]]=>8
[[1,4],[2,6],[3],[5],[7],[8]]=>4
[[1,3],[2,6],[4],[5],[7],[8]]=>5
[[1,2],[3,6],[4],[5],[7],[8]]=>6
[[1,4],[2,5],[3],[6],[7],[8]]=>9
[[1,3],[2,5],[4],[6],[7],[8]]=>6
[[1,2],[3,5],[4],[6],[7],[8]]=>7
[[1,3],[2,4],[5],[6],[7],[8]]=>10
[[1,2],[3,4],[5],[6],[7],[8]]=>8
[[1,8],[2],[3],[4],[5],[6],[7]]=>0
[[1,7],[2],[3],[4],[5],[6],[8]]=>1
[[1,6],[2],[3],[4],[5],[7],[8]]=>2
[[1,5],[2],[3],[4],[6],[7],[8]]=>3
[[1,4],[2],[3],[5],[6],[7],[8]]=>4
[[1,3],[2],[4],[5],[6],[7],[8]]=>5
[[1,2],[3],[4],[5],[6],[7],[8]]=>6
[[1],[2],[3],[4],[5],[6],[7],[8]]=>0
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 major index of a standard tableau minus the weighted size of its shape.
Code
def statistic(T):
return T.standard_major_index()-T.shape().weighted_size()
Created
Mar 04, 2021 at 11:40 by Martin Rubey
Updated
Mar 04, 2021 at 11:40 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!