Identifier
- St001696: Standard tableaux ⟶ ℤ
Values
=>
Cc0007;cc-rep
[]=>0
[[1]]=>0
[[1,2]]=>0
[[1],[2]]=>0
[[1,2,3]]=>0
[[1,3],[2]]=>2
[[1,2],[3]]=>0
[[1],[2],[3]]=>0
[[1,2,3,4]]=>0
[[1,3,4],[2]]=>2
[[1,2,4],[3]]=>3
[[1,2,3],[4]]=>0
[[1,3],[2,4]]=>2
[[1,2],[3,4]]=>0
[[1,4],[2],[3]]=>3
[[1,3],[2],[4]]=>2
[[1,2],[3],[4]]=>0
[[1],[2],[3],[4]]=>0
[[1,2,3,4,5]]=>0
[[1,3,4,5],[2]]=>2
[[1,2,4,5],[3]]=>3
[[1,2,3,5],[4]]=>4
[[1,2,3,4],[5]]=>0
[[1,3,5],[2,4]]=>6
[[1,2,5],[3,4]]=>4
[[1,3,4],[2,5]]=>2
[[1,2,4],[3,5]]=>3
[[1,2,3],[4,5]]=>0
[[1,4,5],[2],[3]]=>3
[[1,3,5],[2],[4]]=>6
[[1,2,5],[3],[4]]=>4
[[1,3,4],[2],[5]]=>2
[[1,2,4],[3],[5]]=>3
[[1,2,3],[4],[5]]=>0
[[1,4],[2,5],[3]]=>3
[[1,3],[2,5],[4]]=>6
[[1,2],[3,5],[4]]=>4
[[1,3],[2,4],[5]]=>2
[[1,2],[3,4],[5]]=>0
[[1,5],[2],[3],[4]]=>4
[[1,4],[2],[3],[5]]=>3
[[1,3],[2],[4],[5]]=>2
[[1,2],[3],[4],[5]]=>0
[[1],[2],[3],[4],[5]]=>0
[[1,2,3,4,5,6]]=>0
[[1,3,4,5,6],[2]]=>2
[[1,2,4,5,6],[3]]=>3
[[1,2,3,5,6],[4]]=>4
[[1,2,3,4,6],[5]]=>5
[[1,2,3,4,5],[6]]=>0
[[1,3,5,6],[2,4]]=>6
[[1,2,5,6],[3,4]]=>4
[[1,3,4,6],[2,5]]=>7
[[1,2,4,6],[3,5]]=>8
[[1,2,3,6],[4,5]]=>5
[[1,3,4,5],[2,6]]=>2
[[1,2,4,5],[3,6]]=>3
[[1,2,3,5],[4,6]]=>4
[[1,2,3,4],[5,6]]=>0
[[1,4,5,6],[2],[3]]=>3
[[1,3,5,6],[2],[4]]=>6
[[1,2,5,6],[3],[4]]=>4
[[1,3,4,6],[2],[5]]=>7
[[1,2,4,6],[3],[5]]=>8
[[1,2,3,6],[4],[5]]=>5
[[1,3,4,5],[2],[6]]=>2
[[1,2,4,5],[3],[6]]=>3
[[1,2,3,5],[4],[6]]=>4
[[1,2,3,4],[5],[6]]=>0
[[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]]=>8
[[1,3,6],[2,5],[4]]=>11
[[1,2,6],[3,5],[4]]=>9
[[1,3,6],[2,4],[5]]=>7
[[1,2,6],[3,4],[5]]=>5
[[1,4,5],[2,6],[3]]=>3
[[1,3,5],[2,6],[4]]=>6
[[1,2,5],[3,6],[4]]=>4
[[1,3,4],[2,6],[5]]=>7
[[1,2,4],[3,6],[5]]=>8
[[1,2,3],[4,6],[5]]=>5
[[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,5,6],[2],[3],[4]]=>4
[[1,4,6],[2],[3],[5]]=>8
[[1,3,6],[2],[4],[5]]=>7
[[1,2,6],[3],[4],[5]]=>5
[[1,4,5],[2],[3],[6]]=>3
[[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],[2,5],[3,6]]=>3
[[1,3],[2,5],[4,6]]=>6
[[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]]=>8
[[1,3],[2,6],[4],[5]]=>7
[[1,2],[3,6],[4],[5]]=>5
[[1,4],[2,5],[3],[6]]=>3
[[1,3],[2,5],[4],[6]]=>6
[[1,2],[3,5],[4],[6]]=>4
[[1,3],[2,4],[5],[6]]=>2
[[1,2],[3,4],[5],[6]]=>0
[[1,6],[2],[3],[4],[5]]=>5
[[1,5],[2],[3],[4],[6]]=>4
[[1,4],[2],[3],[5],[6]]=>3
[[1,3],[2],[4],[5],[6]]=>2
[[1,2],[3],[4],[5],[6]]=>0
[[1],[2],[3],[4],[5],[6]]=>0
[[1,2,3,4,5,6,7]]=>0
[[1,3,4,5,6,7],[2]]=>2
[[1,2,4,5,6,7],[3]]=>3
[[1,2,3,5,6,7],[4]]=>4
[[1,2,3,4,6,7],[5]]=>5
[[1,2,3,4,5,7],[6]]=>6
[[1,2,3,4,5,6],[7]]=>0
[[1,3,5,6,7],[2,4]]=>6
[[1,2,5,6,7],[3,4]]=>4
[[1,3,4,6,7],[2,5]]=>7
[[1,2,4,6,7],[3,5]]=>8
[[1,2,3,6,7],[4,5]]=>5
[[1,3,4,5,7],[2,6]]=>8
[[1,2,4,5,7],[3,6]]=>9
[[1,2,3,5,7],[4,6]]=>10
[[1,2,3,4,7],[5,6]]=>6
[[1,3,4,5,6],[2,7]]=>2
[[1,2,4,5,6],[3,7]]=>3
[[1,2,3,5,6],[4,7]]=>4
[[1,2,3,4,6],[5,7]]=>5
[[1,2,3,4,5],[6,7]]=>0
[[1,4,5,6,7],[2],[3]]=>3
[[1,3,5,6,7],[2],[4]]=>6
[[1,2,5,6,7],[3],[4]]=>4
[[1,3,4,6,7],[2],[5]]=>7
[[1,2,4,6,7],[3],[5]]=>8
[[1,2,3,6,7],[4],[5]]=>5
[[1,3,4,5,7],[2],[6]]=>8
[[1,2,4,5,7],[3],[6]]=>9
[[1,2,3,5,7],[4],[6]]=>10
[[1,2,3,4,7],[5],[6]]=>6
[[1,3,4,5,6],[2],[7]]=>2
[[1,2,4,5,6],[3],[7]]=>3
[[1,2,3,5,6],[4],[7]]=>4
[[1,2,3,4,6],[5],[7]]=>5
[[1,2,3,4,5],[6],[7]]=>0
[[1,3,5,7],[2,4,6]]=>12
[[1,2,5,7],[3,4,6]]=>10
[[1,3,4,7],[2,5,6]]=>8
[[1,2,4,7],[3,5,6]]=>9
[[1,2,3,7],[4,5,6]]=>6
[[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]]=>2
[[1,2,4,5],[3,6,7]]=>3
[[1,2,3,5],[4,6,7]]=>4
[[1,2,3,4],[5,6,7]]=>0
[[1,4,6,7],[2,5],[3]]=>8
[[1,3,6,7],[2,5],[4]]=>11
[[1,2,6,7],[3,5],[4]]=>9
[[1,3,6,7],[2,4],[5]]=>7
[[1,2,6,7],[3,4],[5]]=>5
[[1,4,5,7],[2,6],[3]]=>9
[[1,3,5,7],[2,6],[4]]=>12
[[1,2,5,7],[3,6],[4]]=>10
[[1,3,4,7],[2,6],[5]]=>13
[[1,2,4,7],[3,6],[5]]=>14
[[1,2,3,7],[4,6],[5]]=>11
[[1,3,5,7],[2,4],[6]]=>12
[[1,2,5,7],[3,4],[6]]=>10
[[1,3,4,7],[2,5],[6]]=>8
[[1,2,4,7],[3,5],[6]]=>9
[[1,2,3,7],[4,5],[6]]=>6
[[1,4,5,6],[2,7],[3]]=>3
[[1,3,5,6],[2,7],[4]]=>6
[[1,2,5,6],[3,7],[4]]=>4
[[1,3,4,6],[2,7],[5]]=>7
[[1,2,4,6],[3,7],[5]]=>8
[[1,2,3,6],[4,7],[5]]=>5
[[1,3,4,5],[2,7],[6]]=>8
[[1,2,4,5],[3,7],[6]]=>9
[[1,2,3,5],[4,7],[6]]=>10
[[1,2,3,4],[5,7],[6]]=>6
[[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]]=>2
[[1,2,4,5],[3,6],[7]]=>3
[[1,2,3,5],[4,6],[7]]=>4
[[1,2,3,4],[5,6],[7]]=>0
[[1,5,6,7],[2],[3],[4]]=>4
[[1,4,6,7],[2],[3],[5]]=>8
[[1,3,6,7],[2],[4],[5]]=>7
[[1,2,6,7],[3],[4],[5]]=>5
[[1,4,5,7],[2],[3],[6]]=>9
[[1,3,5,7],[2],[4],[6]]=>12
[[1,2,5,7],[3],[4],[6]]=>10
[[1,3,4,7],[2],[5],[6]]=>8
[[1,2,4,7],[3],[5],[6]]=>9
[[1,2,3,7],[4],[5],[6]]=>6
[[1,4,5,6],[2],[3],[7]]=>3
[[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]]=>2
[[1,2,4,5],[3],[6],[7]]=>3
[[1,2,3,5],[4],[6],[7]]=>4
[[1,2,3,4],[5],[6],[7]]=>0
[[1,4,6],[2,5,7],[3]]=>8
[[1,3,6],[2,5,7],[4]]=>11
[[1,2,6],[3,5,7],[4]]=>9
[[1,3,6],[2,4,7],[5]]=>7
[[1,2,6],[3,4,7],[5]]=>5
[[1,4,5],[2,6,7],[3]]=>3
[[1,3,5],[2,6,7],[4]]=>6
[[1,2,5],[3,6,7],[4]]=>4
[[1,3,4],[2,6,7],[5]]=>7
[[1,2,4],[3,6,7],[5]]=>8
[[1,2,3],[4,6,7],[5]]=>5
[[1,3,5],[2,4,7],[6]]=>12
[[1,2,5],[3,4,7],[6]]=>10
[[1,3,4],[2,5,7],[6]]=>8
[[1,2,4],[3,5,7],[6]]=>9
[[1,2,3],[4,5,7],[6]]=>6
[[1,3,5],[2,4,6],[7]]=>6
[[1,2,5],[3,4,6],[7]]=>4
[[1,3,4],[2,5,6],[7]]=>2
[[1,2,4],[3,5,6],[7]]=>3
[[1,2,3],[4,5,6],[7]]=>0
[[1,4,7],[2,5],[3,6]]=>9
[[1,3,7],[2,5],[4,6]]=>12
[[1,2,7],[3,5],[4,6]]=>10
[[1,3,7],[2,4],[5,6]]=>8
[[1,2,7],[3,4],[5,6]]=>6
[[1,4,6],[2,5],[3,7]]=>8
[[1,3,6],[2,5],[4,7]]=>11
[[1,2,6],[3,5],[4,7]]=>9
[[1,3,6],[2,4],[5,7]]=>7
[[1,2,6],[3,4],[5,7]]=>5
[[1,4,5],[2,6],[3,7]]=>3
[[1,3,5],[2,6],[4,7]]=>6
[[1,2,5],[3,6],[4,7]]=>4
[[1,3,4],[2,6],[5,7]]=>7
[[1,2,4],[3,6],[5,7]]=>8
[[1,2,3],[4,6],[5,7]]=>5
[[1,3,5],[2,4],[6,7]]=>6
[[1,2,5],[3,4],[6,7]]=>4
[[1,3,4],[2,5],[6,7]]=>2
[[1,2,4],[3,5],[6,7]]=>3
[[1,2,3],[4,5],[6,7]]=>0
[[1,5,7],[2,6],[3],[4]]=>10
[[1,4,7],[2,6],[3],[5]]=>14
[[1,3,7],[2,6],[4],[5]]=>13
[[1,2,7],[3,6],[4],[5]]=>11
[[1,4,7],[2,5],[3],[6]]=>9
[[1,3,7],[2,5],[4],[6]]=>12
[[1,2,7],[3,5],[4],[6]]=>10
[[1,3,7],[2,4],[5],[6]]=>8
[[1,2,7],[3,4],[5],[6]]=>6
[[1,5,6],[2,7],[3],[4]]=>4
[[1,4,6],[2,7],[3],[5]]=>8
[[1,3,6],[2,7],[4],[5]]=>7
[[1,2,6],[3,7],[4],[5]]=>5
[[1,4,5],[2,7],[3],[6]]=>9
[[1,3,5],[2,7],[4],[6]]=>12
[[1,2,5],[3,7],[4],[6]]=>10
[[1,3,4],[2,7],[5],[6]]=>8
[[1,2,4],[3,7],[5],[6]]=>9
[[1,2,3],[4,7],[5],[6]]=>6
[[1,4,6],[2,5],[3],[7]]=>8
[[1,3,6],[2,5],[4],[7]]=>11
[[1,2,6],[3,5],[4],[7]]=>9
[[1,3,6],[2,4],[5],[7]]=>7
[[1,2,6],[3,4],[5],[7]]=>5
[[1,4,5],[2,6],[3],[7]]=>3
[[1,3,5],[2,6],[4],[7]]=>6
[[1,2,5],[3,6],[4],[7]]=>4
[[1,3,4],[2,6],[5],[7]]=>7
[[1,2,4],[3,6],[5],[7]]=>8
[[1,2,3],[4,6],[5],[7]]=>5
[[1,3,5],[2,4],[6],[7]]=>6
[[1,2,5],[3,4],[6],[7]]=>4
[[1,3,4],[2,5],[6],[7]]=>2
[[1,2,4],[3,5],[6],[7]]=>3
[[1,2,3],[4,5],[6],[7]]=>0
[[1,6,7],[2],[3],[4],[5]]=>5
[[1,5,7],[2],[3],[4],[6]]=>10
[[1,4,7],[2],[3],[5],[6]]=>9
[[1,3,7],[2],[4],[5],[6]]=>8
[[1,2,7],[3],[4],[5],[6]]=>6
[[1,5,6],[2],[3],[4],[7]]=>4
[[1,4,6],[2],[3],[5],[7]]=>8
[[1,3,6],[2],[4],[5],[7]]=>7
[[1,2,6],[3],[4],[5],[7]]=>5
[[1,4,5],[2],[3],[6],[7]]=>3
[[1,3,5],[2],[4],[6],[7]]=>6
[[1,2,5],[3],[4],[6],[7]]=>4
[[1,3,4],[2],[5],[6],[7]]=>2
[[1,2,4],[3],[5],[6],[7]]=>3
[[1,2,3],[4],[5],[6],[7]]=>0
[[1,5],[2,6],[3,7],[4]]=>4
[[1,4],[2,6],[3,7],[5]]=>8
[[1,3],[2,6],[4,7],[5]]=>7
[[1,2],[3,6],[4,7],[5]]=>5
[[1,4],[2,5],[3,7],[6]]=>9
[[1,3],[2,5],[4,7],[6]]=>12
[[1,2],[3,5],[4,7],[6]]=>10
[[1,3],[2,4],[5,7],[6]]=>8
[[1,2],[3,4],[5,7],[6]]=>6
[[1,4],[2,5],[3,6],[7]]=>3
[[1,3],[2,5],[4,6],[7]]=>6
[[1,2],[3,5],[4,6],[7]]=>4
[[1,3],[2,4],[5,6],[7]]=>2
[[1,2],[3,4],[5,6],[7]]=>0
[[1,6],[2,7],[3],[4],[5]]=>5
[[1,5],[2,7],[3],[4],[6]]=>10
[[1,4],[2,7],[3],[5],[6]]=>9
[[1,3],[2,7],[4],[5],[6]]=>8
[[1,2],[3,7],[4],[5],[6]]=>6
[[1,5],[2,6],[3],[4],[7]]=>4
[[1,4],[2,6],[3],[5],[7]]=>8
[[1,3],[2,6],[4],[5],[7]]=>7
[[1,2],[3,6],[4],[5],[7]]=>5
[[1,4],[2,5],[3],[6],[7]]=>3
[[1,3],[2,5],[4],[6],[7]]=>6
[[1,2],[3,5],[4],[6],[7]]=>4
[[1,3],[2,4],[5],[6],[7]]=>2
[[1,2],[3,4],[5],[6],[7]]=>0
[[1,7],[2],[3],[4],[5],[6]]=>6
[[1,6],[2],[3],[4],[5],[7]]=>5
[[1,5],[2],[3],[4],[6],[7]]=>4
[[1,4],[2],[3],[5],[6],[7]]=>3
[[1,3],[2],[4],[5],[6],[7]]=>2
[[1,2],[3],[4],[5],[6],[7]]=>0
[[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]]=>2
[[1,2,4,5,6,7,8],[3]]=>3
[[1,2,3,5,6,7,8],[4]]=>4
[[1,2,3,4,6,7,8],[5]]=>5
[[1,2,3,4,5,7,8],[6]]=>6
[[1,2,3,4,5,6,8],[7]]=>7
[[1,2,3,4,5,6,7],[8]]=>0
[[1,3,5,6,7,8],[2,4]]=>6
[[1,2,5,6,7,8],[3,4]]=>4
[[1,3,4,6,7,8],[2,5]]=>7
[[1,2,4,6,7,8],[3,5]]=>8
[[1,2,3,6,7,8],[4,5]]=>5
[[1,3,4,5,7,8],[2,6]]=>8
[[1,2,4,5,7,8],[3,6]]=>9
[[1,2,3,5,7,8],[4,6]]=>10
[[1,2,3,4,7,8],[5,6]]=>6
[[1,3,4,5,6,8],[2,7]]=>9
[[1,2,4,5,6,8],[3,7]]=>10
[[1,2,3,5,6,8],[4,7]]=>11
[[1,2,3,4,6,8],[5,7]]=>12
[[1,2,3,4,5,8],[6,7]]=>7
[[1,3,4,5,6,7],[2,8]]=>2
[[1,2,4,5,6,7],[3,8]]=>3
[[1,2,3,5,6,7],[4,8]]=>4
[[1,2,3,4,6,7],[5,8]]=>5
[[1,2,3,4,5,7],[6,8]]=>6
[[1,2,3,4,5,6],[7,8]]=>0
[[1,4,5,6,7,8],[2],[3]]=>3
[[1,3,5,6,7,8],[2],[4]]=>6
[[1,2,5,6,7,8],[3],[4]]=>4
[[1,3,4,6,7,8],[2],[5]]=>7
[[1,2,4,6,7,8],[3],[5]]=>8
[[1,2,3,6,7,8],[4],[5]]=>5
[[1,3,4,5,7,8],[2],[6]]=>8
[[1,2,4,5,7,8],[3],[6]]=>9
[[1,2,3,5,7,8],[4],[6]]=>10
[[1,2,3,4,7,8],[5],[6]]=>6
[[1,3,4,5,6,8],[2],[7]]=>9
[[1,2,4,5,6,8],[3],[7]]=>10
[[1,2,3,5,6,8],[4],[7]]=>11
[[1,2,3,4,6,8],[5],[7]]=>12
[[1,2,3,4,5,8],[6],[7]]=>7
[[1,3,4,5,6,7],[2],[8]]=>2
[[1,2,4,5,6,7],[3],[8]]=>3
[[1,2,3,5,6,7],[4],[8]]=>4
[[1,2,3,4,6,7],[5],[8]]=>5
[[1,2,3,4,5,7],[6],[8]]=>6
[[1,2,3,4,5,6],[7],[8]]=>0
[[1,3,5,7,8],[2,4,6]]=>12
[[1,2,5,7,8],[3,4,6]]=>10
[[1,3,4,7,8],[2,5,6]]=>8
[[1,2,4,7,8],[3,5,6]]=>9
[[1,2,3,7,8],[4,5,6]]=>6
[[1,3,5,6,8],[2,4,7]]=>13
[[1,2,5,6,8],[3,4,7]]=>11
[[1,3,4,6,8],[2,5,7]]=>14
[[1,2,4,6,8],[3,5,7]]=>15
[[1,2,3,6,8],[4,5,7]]=>12
[[1,3,4,5,8],[2,6,7]]=>9
[[1,2,4,5,8],[3,6,7]]=>10
[[1,2,3,5,8],[4,6,7]]=>11
[[1,2,3,4,8],[5,6,7]]=>7
[[1,3,5,6,7],[2,4,8]]=>6
[[1,2,5,6,7],[3,4,8]]=>4
[[1,3,4,6,7],[2,5,8]]=>7
[[1,2,4,6,7],[3,5,8]]=>8
[[1,2,3,6,7],[4,5,8]]=>5
[[1,3,4,5,7],[2,6,8]]=>8
[[1,2,4,5,7],[3,6,8]]=>9
[[1,2,3,5,7],[4,6,8]]=>10
[[1,2,3,4,7],[5,6,8]]=>6
[[1,3,4,5,6],[2,7,8]]=>2
[[1,2,4,5,6],[3,7,8]]=>3
[[1,2,3,5,6],[4,7,8]]=>4
[[1,2,3,4,6],[5,7,8]]=>5
[[1,2,3,4,5],[6,7,8]]=>0
[[1,4,6,7,8],[2,5],[3]]=>8
[[1,3,6,7,8],[2,5],[4]]=>11
[[1,2,6,7,8],[3,5],[4]]=>9
[[1,3,6,7,8],[2,4],[5]]=>7
[[1,2,6,7,8],[3,4],[5]]=>5
[[1,4,5,7,8],[2,6],[3]]=>9
[[1,3,5,7,8],[2,6],[4]]=>12
[[1,2,5,7,8],[3,6],[4]]=>10
[[1,3,4,7,8],[2,6],[5]]=>13
[[1,2,4,7,8],[3,6],[5]]=>14
[[1,2,3,7,8],[4,6],[5]]=>11
[[1,3,5,7,8],[2,4],[6]]=>12
[[1,2,5,7,8],[3,4],[6]]=>10
[[1,3,4,7,8],[2,5],[6]]=>8
[[1,2,4,7,8],[3,5],[6]]=>9
[[1,2,3,7,8],[4,5],[6]]=>6
[[1,4,5,6,8],[2,7],[3]]=>10
[[1,3,5,6,8],[2,7],[4]]=>13
[[1,2,5,6,8],[3,7],[4]]=>11
[[1,3,4,6,8],[2,7],[5]]=>14
[[1,2,4,6,8],[3,7],[5]]=>15
[[1,2,3,6,8],[4,7],[5]]=>12
[[1,3,4,5,8],[2,7],[6]]=>15
[[1,2,4,5,8],[3,7],[6]]=>16
[[1,2,3,5,8],[4,7],[6]]=>17
[[1,2,3,4,8],[5,7],[6]]=>13
[[1,3,5,6,8],[2,4],[7]]=>13
[[1,2,5,6,8],[3,4],[7]]=>11
[[1,3,4,6,8],[2,5],[7]]=>14
[[1,2,4,6,8],[3,5],[7]]=>15
[[1,2,3,6,8],[4,5],[7]]=>12
[[1,3,4,5,8],[2,6],[7]]=>9
[[1,2,4,5,8],[3,6],[7]]=>10
[[1,2,3,5,8],[4,6],[7]]=>11
[[1,2,3,4,8],[5,6],[7]]=>7
[[1,4,5,6,7],[2,8],[3]]=>3
[[1,3,5,6,7],[2,8],[4]]=>6
[[1,2,5,6,7],[3,8],[4]]=>4
[[1,3,4,6,7],[2,8],[5]]=>7
[[1,2,4,6,7],[3,8],[5]]=>8
[[1,2,3,6,7],[4,8],[5]]=>5
[[1,3,4,5,7],[2,8],[6]]=>8
[[1,2,4,5,7],[3,8],[6]]=>9
[[1,2,3,5,7],[4,8],[6]]=>10
[[1,2,3,4,7],[5,8],[6]]=>6
[[1,3,4,5,6],[2,8],[7]]=>9
[[1,2,4,5,6],[3,8],[7]]=>10
[[1,2,3,5,6],[4,8],[7]]=>11
[[1,2,3,4,6],[5,8],[7]]=>12
[[1,2,3,4,5],[6,8],[7]]=>7
[[1,3,5,6,7],[2,4],[8]]=>6
[[1,2,5,6,7],[3,4],[8]]=>4
[[1,3,4,6,7],[2,5],[8]]=>7
[[1,2,4,6,7],[3,5],[8]]=>8
[[1,2,3,6,7],[4,5],[8]]=>5
[[1,3,4,5,7],[2,6],[8]]=>8
[[1,2,4,5,7],[3,6],[8]]=>9
[[1,2,3,5,7],[4,6],[8]]=>10
[[1,2,3,4,7],[5,6],[8]]=>6
[[1,3,4,5,6],[2,7],[8]]=>2
[[1,2,4,5,6],[3,7],[8]]=>3
[[1,2,3,5,6],[4,7],[8]]=>4
[[1,2,3,4,6],[5,7],[8]]=>5
[[1,2,3,4,5],[6,7],[8]]=>0
[[1,5,6,7,8],[2],[3],[4]]=>4
[[1,4,6,7,8],[2],[3],[5]]=>8
[[1,3,6,7,8],[2],[4],[5]]=>7
[[1,2,6,7,8],[3],[4],[5]]=>5
[[1,4,5,7,8],[2],[3],[6]]=>9
[[1,3,5,7,8],[2],[4],[6]]=>12
[[1,2,5,7,8],[3],[4],[6]]=>10
[[1,3,4,7,8],[2],[5],[6]]=>8
[[1,2,4,7,8],[3],[5],[6]]=>9
[[1,2,3,7,8],[4],[5],[6]]=>6
[[1,4,5,6,8],[2],[3],[7]]=>10
[[1,3,5,6,8],[2],[4],[7]]=>13
[[1,2,5,6,8],[3],[4],[7]]=>11
[[1,3,4,6,8],[2],[5],[7]]=>14
[[1,2,4,6,8],[3],[5],[7]]=>15
[[1,2,3,6,8],[4],[5],[7]]=>12
[[1,3,4,5,8],[2],[6],[7]]=>9
[[1,2,4,5,8],[3],[6],[7]]=>10
[[1,2,3,5,8],[4],[6],[7]]=>11
[[1,2,3,4,8],[5],[6],[7]]=>7
[[1,4,5,6,7],[2],[3],[8]]=>3
[[1,3,5,6,7],[2],[4],[8]]=>6
[[1,2,5,6,7],[3],[4],[8]]=>4
[[1,3,4,6,7],[2],[5],[8]]=>7
[[1,2,4,6,7],[3],[5],[8]]=>8
[[1,2,3,6,7],[4],[5],[8]]=>5
[[1,3,4,5,7],[2],[6],[8]]=>8
[[1,2,4,5,7],[3],[6],[8]]=>9
[[1,2,3,5,7],[4],[6],[8]]=>10
[[1,2,3,4,7],[5],[6],[8]]=>6
[[1,3,4,5,6],[2],[7],[8]]=>2
[[1,2,4,5,6],[3],[7],[8]]=>3
[[1,2,3,5,6],[4],[7],[8]]=>4
[[1,2,3,4,6],[5],[7],[8]]=>5
[[1,2,3,4,5],[6],[7],[8]]=>0
[[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]]=>15
[[1,3,6,8],[2,5,7],[4]]=>18
[[1,2,6,8],[3,5,7],[4]]=>16
[[1,3,6,8],[2,4,7],[5]]=>14
[[1,2,6,8],[3,4,7],[5]]=>12
[[1,4,5,8],[2,6,7],[3]]=>10
[[1,3,5,8],[2,6,7],[4]]=>13
[[1,2,5,8],[3,6,7],[4]]=>11
[[1,3,4,8],[2,6,7],[5]]=>14
[[1,2,4,8],[3,6,7],[5]]=>15
[[1,2,3,8],[4,6,7],[5]]=>12
[[1,3,5,8],[2,4,7],[6]]=>19
[[1,2,5,8],[3,4,7],[6]]=>17
[[1,3,4,8],[2,5,7],[6]]=>15
[[1,2,4,8],[3,5,7],[6]]=>16
[[1,2,3,8],[4,5,7],[6]]=>13
[[1,3,5,8],[2,4,6],[7]]=>13
[[1,2,5,8],[3,4,6],[7]]=>11
[[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,4,6,7],[2,5,8],[3]]=>8
[[1,3,6,7],[2,5,8],[4]]=>11
[[1,2,6,7],[3,5,8],[4]]=>9
[[1,3,6,7],[2,4,8],[5]]=>7
[[1,2,6,7],[3,4,8],[5]]=>5
[[1,4,5,7],[2,6,8],[3]]=>9
[[1,3,5,7],[2,6,8],[4]]=>12
[[1,2,5,7],[3,6,8],[4]]=>10
[[1,3,4,7],[2,6,8],[5]]=>13
[[1,2,4,7],[3,6,8],[5]]=>14
[[1,2,3,7],[4,6,8],[5]]=>11
[[1,3,5,7],[2,4,8],[6]]=>12
[[1,2,5,7],[3,4,8],[6]]=>10
[[1,3,4,7],[2,5,8],[6]]=>8
[[1,2,4,7],[3,5,8],[6]]=>9
[[1,2,3,7],[4,5,8],[6]]=>6
[[1,4,5,6],[2,7,8],[3]]=>3
[[1,3,5,6],[2,7,8],[4]]=>6
[[1,2,5,6],[3,7,8],[4]]=>4
[[1,3,4,6],[2,7,8],[5]]=>7
[[1,2,4,6],[3,7,8],[5]]=>8
[[1,2,3,6],[4,7,8],[5]]=>5
[[1,3,4,5],[2,7,8],[6]]=>8
[[1,2,4,5],[3,7,8],[6]]=>9
[[1,2,3,5],[4,7,8],[6]]=>10
[[1,2,3,4],[5,7,8],[6]]=>6
[[1,3,5,6],[2,4,8],[7]]=>13
[[1,2,5,6],[3,4,8],[7]]=>11
[[1,3,4,6],[2,5,8],[7]]=>14
[[1,2,4,6],[3,5,8],[7]]=>15
[[1,2,3,6],[4,5,8],[7]]=>12
[[1,3,4,5],[2,6,8],[7]]=>9
[[1,2,4,5],[3,6,8],[7]]=>10
[[1,2,3,5],[4,6,8],[7]]=>11
[[1,2,3,4],[5,6,8],[7]]=>7
[[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,7,8],[2,5],[3,6]]=>9
[[1,3,7,8],[2,5],[4,6]]=>12
[[1,2,7,8],[3,5],[4,6]]=>10
[[1,3,7,8],[2,4],[5,6]]=>8
[[1,2,7,8],[3,4],[5,6]]=>6
[[1,4,6,8],[2,5],[3,7]]=>15
[[1,3,6,8],[2,5],[4,7]]=>18
[[1,2,6,8],[3,5],[4,7]]=>16
[[1,3,6,8],[2,4],[5,7]]=>14
[[1,2,6,8],[3,4],[5,7]]=>12
[[1,4,5,8],[2,6],[3,7]]=>10
[[1,3,5,8],[2,6],[4,7]]=>13
[[1,2,5,8],[3,6],[4,7]]=>11
[[1,3,4,8],[2,6],[5,7]]=>14
[[1,2,4,8],[3,6],[5,7]]=>15
[[1,2,3,8],[4,6],[5,7]]=>12
[[1,3,5,8],[2,4],[6,7]]=>13
[[1,2,5,8],[3,4],[6,7]]=>11
[[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,4,6,7],[2,5],[3,8]]=>8
[[1,3,6,7],[2,5],[4,8]]=>11
[[1,2,6,7],[3,5],[4,8]]=>9
[[1,3,6,7],[2,4],[5,8]]=>7
[[1,2,6,7],[3,4],[5,8]]=>5
[[1,4,5,7],[2,6],[3,8]]=>9
[[1,3,5,7],[2,6],[4,8]]=>12
[[1,2,5,7],[3,6],[4,8]]=>10
[[1,3,4,7],[2,6],[5,8]]=>13
[[1,2,4,7],[3,6],[5,8]]=>14
[[1,2,3,7],[4,6],[5,8]]=>11
[[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,4,5,6],[2,7],[3,8]]=>3
[[1,3,5,6],[2,7],[4,8]]=>6
[[1,2,5,6],[3,7],[4,8]]=>4
[[1,3,4,6],[2,7],[5,8]]=>7
[[1,2,4,6],[3,7],[5,8]]=>8
[[1,2,3,6],[4,7],[5,8]]=>5
[[1,3,4,5],[2,7],[6,8]]=>8
[[1,2,4,5],[3,7],[6,8]]=>9
[[1,2,3,5],[4,7],[6,8]]=>10
[[1,2,3,4],[5,7],[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,5,7,8],[2,6],[3],[4]]=>10
[[1,4,7,8],[2,6],[3],[5]]=>14
[[1,3,7,8],[2,6],[4],[5]]=>13
[[1,2,7,8],[3,6],[4],[5]]=>11
[[1,4,7,8],[2,5],[3],[6]]=>9
[[1,3,7,8],[2,5],[4],[6]]=>12
[[1,2,7,8],[3,5],[4],[6]]=>10
[[1,3,7,8],[2,4],[5],[6]]=>8
[[1,2,7,8],[3,4],[5],[6]]=>6
[[1,5,6,8],[2,7],[3],[4]]=>11
[[1,4,6,8],[2,7],[3],[5]]=>15
[[1,3,6,8],[2,7],[4],[5]]=>14
[[1,2,6,8],[3,7],[4],[5]]=>12
[[1,4,5,8],[2,7],[3],[6]]=>16
[[1,3,5,8],[2,7],[4],[6]]=>19
[[1,2,5,8],[3,7],[4],[6]]=>17
[[1,3,4,8],[2,7],[5],[6]]=>15
[[1,2,4,8],[3,7],[5],[6]]=>16
[[1,2,3,8],[4,7],[5],[6]]=>13
[[1,4,6,8],[2,5],[3],[7]]=>15
[[1,3,6,8],[2,5],[4],[7]]=>18
[[1,2,6,8],[3,5],[4],[7]]=>16
[[1,3,6,8],[2,4],[5],[7]]=>14
[[1,2,6,8],[3,4],[5],[7]]=>12
[[1,4,5,8],[2,6],[3],[7]]=>10
[[1,3,5,8],[2,6],[4],[7]]=>13
[[1,2,5,8],[3,6],[4],[7]]=>11
[[1,3,4,8],[2,6],[5],[7]]=>14
[[1,2,4,8],[3,6],[5],[7]]=>15
[[1,2,3,8],[4,6],[5],[7]]=>12
[[1,3,5,8],[2,4],[6],[7]]=>13
[[1,2,5,8],[3,4],[6],[7]]=>11
[[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]]=>4
[[1,4,6,7],[2,8],[3],[5]]=>8
[[1,3,6,7],[2,8],[4],[5]]=>7
[[1,2,6,7],[3,8],[4],[5]]=>5
[[1,4,5,7],[2,8],[3],[6]]=>9
[[1,3,5,7],[2,8],[4],[6]]=>12
[[1,2,5,7],[3,8],[4],[6]]=>10
[[1,3,4,7],[2,8],[5],[6]]=>8
[[1,2,4,7],[3,8],[5],[6]]=>9
[[1,2,3,7],[4,8],[5],[6]]=>6
[[1,4,5,6],[2,8],[3],[7]]=>10
[[1,3,5,6],[2,8],[4],[7]]=>13
[[1,2,5,6],[3,8],[4],[7]]=>11
[[1,3,4,6],[2,8],[5],[7]]=>14
[[1,2,4,6],[3,8],[5],[7]]=>15
[[1,2,3,6],[4,8],[5],[7]]=>12
[[1,3,4,5],[2,8],[6],[7]]=>9
[[1,2,4,5],[3,8],[6],[7]]=>10
[[1,2,3,5],[4,8],[6],[7]]=>11
[[1,2,3,4],[5,8],[6],[7]]=>7
[[1,4,6,7],[2,5],[3],[8]]=>8
[[1,3,6,7],[2,5],[4],[8]]=>11
[[1,2,6,7],[3,5],[4],[8]]=>9
[[1,3,6,7],[2,4],[5],[8]]=>7
[[1,2,6,7],[3,4],[5],[8]]=>5
[[1,4,5,7],[2,6],[3],[8]]=>9
[[1,3,5,7],[2,6],[4],[8]]=>12
[[1,2,5,7],[3,6],[4],[8]]=>10
[[1,3,4,7],[2,6],[5],[8]]=>13
[[1,2,4,7],[3,6],[5],[8]]=>14
[[1,2,3,7],[4,6],[5],[8]]=>11
[[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,4,5,6],[2,7],[3],[8]]=>3
[[1,3,5,6],[2,7],[4],[8]]=>6
[[1,2,5,6],[3,7],[4],[8]]=>4
[[1,3,4,6],[2,7],[5],[8]]=>7
[[1,2,4,6],[3,7],[5],[8]]=>8
[[1,2,3,6],[4,7],[5],[8]]=>5
[[1,3,4,5],[2,7],[6],[8]]=>8
[[1,2,4,5],[3,7],[6],[8]]=>9
[[1,2,3,5],[4,7],[6],[8]]=>10
[[1,2,3,4],[5,7],[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,6,7,8],[2],[3],[4],[5]]=>5
[[1,5,7,8],[2],[3],[4],[6]]=>10
[[1,4,7,8],[2],[3],[5],[6]]=>9
[[1,3,7,8],[2],[4],[5],[6]]=>8
[[1,2,7,8],[3],[4],[5],[6]]=>6
[[1,5,6,8],[2],[3],[4],[7]]=>11
[[1,4,6,8],[2],[3],[5],[7]]=>15
[[1,3,6,8],[2],[4],[5],[7]]=>14
[[1,2,6,8],[3],[4],[5],[7]]=>12
[[1,4,5,8],[2],[3],[6],[7]]=>10
[[1,3,5,8],[2],[4],[6],[7]]=>13
[[1,2,5,8],[3],[4],[6],[7]]=>11
[[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],[3],[4],[8]]=>4
[[1,4,6,7],[2],[3],[5],[8]]=>8
[[1,3,6,7],[2],[4],[5],[8]]=>7
[[1,2,6,7],[3],[4],[5],[8]]=>5
[[1,4,5,7],[2],[3],[6],[8]]=>9
[[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,4,5,6],[2],[3],[7],[8]]=>3
[[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,7],[2,5,8],[3,6]]=>9
[[1,3,7],[2,5,8],[4,6]]=>12
[[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]]=>15
[[1,3,6],[2,5,8],[4,7]]=>18
[[1,2,6],[3,5,8],[4,7]]=>16
[[1,3,6],[2,4,8],[5,7]]=>14
[[1,2,6],[3,4,8],[5,7]]=>12
[[1,4,5],[2,6,8],[3,7]]=>10
[[1,3,5],[2,6,8],[4,7]]=>13
[[1,2,5],[3,6,8],[4,7]]=>11
[[1,3,4],[2,6,8],[5,7]]=>14
[[1,2,4],[3,6,8],[5,7]]=>15
[[1,2,3],[4,6,8],[5,7]]=>12
[[1,3,5],[2,4,8],[6,7]]=>13
[[1,2,5],[3,4,8],[6,7]]=>11
[[1,3,4],[2,5,8],[6,7]]=>9
[[1,2,4],[3,5,8],[6,7]]=>10
[[1,2,3],[4,5,8],[6,7]]=>7
[[1,4,6],[2,5,7],[3,8]]=>8
[[1,3,6],[2,5,7],[4,8]]=>11
[[1,2,6],[3,5,7],[4,8]]=>9
[[1,3,6],[2,4,7],[5,8]]=>7
[[1,2,6],[3,4,7],[5,8]]=>5
[[1,4,5],[2,6,7],[3,8]]=>3
[[1,3,5],[2,6,7],[4,8]]=>6
[[1,2,5],[3,6,7],[4,8]]=>4
[[1,3,4],[2,6,7],[5,8]]=>7
[[1,2,4],[3,6,7],[5,8]]=>8
[[1,2,3],[4,6,7],[5,8]]=>5
[[1,3,5],[2,4,7],[6,8]]=>12
[[1,2,5],[3,4,7],[6,8]]=>10
[[1,3,4],[2,5,7],[6,8]]=>8
[[1,2,4],[3,5,7],[6,8]]=>9
[[1,2,3],[4,5,7],[6,8]]=>6
[[1,3,5],[2,4,6],[7,8]]=>6
[[1,2,5],[3,4,6],[7,8]]=>4
[[1,3,4],[2,5,6],[7,8]]=>2
[[1,2,4],[3,5,6],[7,8]]=>3
[[1,2,3],[4,5,6],[7,8]]=>0
[[1,5,7],[2,6,8],[3],[4]]=>10
[[1,4,7],[2,6,8],[3],[5]]=>14
[[1,3,7],[2,6,8],[4],[5]]=>13
[[1,2,7],[3,6,8],[4],[5]]=>11
[[1,4,7],[2,5,8],[3],[6]]=>9
[[1,3,7],[2,5,8],[4],[6]]=>12
[[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,5,6],[2,7,8],[3],[4]]=>4
[[1,4,6],[2,7,8],[3],[5]]=>8
[[1,3,6],[2,7,8],[4],[5]]=>7
[[1,2,6],[3,7,8],[4],[5]]=>5
[[1,4,5],[2,7,8],[3],[6]]=>9
[[1,3,5],[2,7,8],[4],[6]]=>12
[[1,2,5],[3,7,8],[4],[6]]=>10
[[1,3,4],[2,7,8],[5],[6]]=>8
[[1,2,4],[3,7,8],[5],[6]]=>9
[[1,2,3],[4,7,8],[5],[6]]=>6
[[1,4,6],[2,5,8],[3],[7]]=>15
[[1,3,6],[2,5,8],[4],[7]]=>18
[[1,2,6],[3,5,8],[4],[7]]=>16
[[1,3,6],[2,4,8],[5],[7]]=>14
[[1,2,6],[3,4,8],[5],[7]]=>12
[[1,4,5],[2,6,8],[3],[7]]=>10
[[1,3,5],[2,6,8],[4],[7]]=>13
[[1,2,5],[3,6,8],[4],[7]]=>11
[[1,3,4],[2,6,8],[5],[7]]=>14
[[1,2,4],[3,6,8],[5],[7]]=>15
[[1,2,3],[4,6,8],[5],[7]]=>12
[[1,3,5],[2,4,8],[6],[7]]=>13
[[1,2,5],[3,4,8],[6],[7]]=>11
[[1,3,4],[2,5,8],[6],[7]]=>9
[[1,2,4],[3,5,8],[6],[7]]=>10
[[1,2,3],[4,5,8],[6],[7]]=>7
[[1,4,6],[2,5,7],[3],[8]]=>8
[[1,3,6],[2,5,7],[4],[8]]=>11
[[1,2,6],[3,5,7],[4],[8]]=>9
[[1,3,6],[2,4,7],[5],[8]]=>7
[[1,2,6],[3,4,7],[5],[8]]=>5
[[1,4,5],[2,6,7],[3],[8]]=>3
[[1,3,5],[2,6,7],[4],[8]]=>6
[[1,2,5],[3,6,7],[4],[8]]=>4
[[1,3,4],[2,6,7],[5],[8]]=>7
[[1,2,4],[3,6,7],[5],[8]]=>8
[[1,2,3],[4,6,7],[5],[8]]=>5
[[1,3,5],[2,4,7],[6],[8]]=>12
[[1,2,5],[3,4,7],[6],[8]]=>10
[[1,3,4],[2,5,7],[6],[8]]=>8
[[1,2,4],[3,5,7],[6],[8]]=>9
[[1,2,3],[4,5,7],[6],[8]]=>6
[[1,3,5],[2,4,6],[7],[8]]=>6
[[1,2,5],[3,4,6],[7],[8]]=>4
[[1,3,4],[2,5,6],[7],[8]]=>2
[[1,2,4],[3,5,6],[7],[8]]=>3
[[1,2,3],[4,5,6],[7],[8]]=>0
[[1,5,8],[2,6],[3,7],[4]]=>11
[[1,4,8],[2,6],[3,7],[5]]=>15
[[1,3,8],[2,6],[4,7],[5]]=>14
[[1,2,8],[3,6],[4,7],[5]]=>12
[[1,4,8],[2,5],[3,7],[6]]=>16
[[1,3,8],[2,5],[4,7],[6]]=>19
[[1,2,8],[3,5],[4,7],[6]]=>17
[[1,3,8],[2,4],[5,7],[6]]=>15
[[1,2,8],[3,4],[5,7],[6]]=>13
[[1,4,8],[2,5],[3,6],[7]]=>10
[[1,3,8],[2,5],[4,6],[7]]=>13
[[1,2,8],[3,5],[4,6],[7]]=>11
[[1,3,8],[2,4],[5,6],[7]]=>9
[[1,2,8],[3,4],[5,6],[7]]=>7
[[1,5,7],[2,6],[3,8],[4]]=>10
[[1,4,7],[2,6],[3,8],[5]]=>14
[[1,3,7],[2,6],[4,8],[5]]=>13
[[1,2,7],[3,6],[4,8],[5]]=>11
[[1,4,7],[2,5],[3,8],[6]]=>9
[[1,3,7],[2,5],[4,8],[6]]=>12
[[1,2,7],[3,5],[4,8],[6]]=>10
[[1,3,7],[2,4],[5,8],[6]]=>8
[[1,2,7],[3,4],[5,8],[6]]=>6
[[1,5,6],[2,7],[3,8],[4]]=>4
[[1,4,6],[2,7],[3,8],[5]]=>8
[[1,3,6],[2,7],[4,8],[5]]=>7
[[1,2,6],[3,7],[4,8],[5]]=>5
[[1,4,5],[2,7],[3,8],[6]]=>9
[[1,3,5],[2,7],[4,8],[6]]=>12
[[1,2,5],[3,7],[4,8],[6]]=>10
[[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]]=>6
[[1,4,6],[2,5],[3,8],[7]]=>15
[[1,3,6],[2,5],[4,8],[7]]=>18
[[1,2,6],[3,5],[4,8],[7]]=>16
[[1,3,6],[2,4],[5,8],[7]]=>14
[[1,2,6],[3,4],[5,8],[7]]=>12
[[1,4,5],[2,6],[3,8],[7]]=>10
[[1,3,5],[2,6],[4,8],[7]]=>13
[[1,2,5],[3,6],[4,8],[7]]=>11
[[1,3,4],[2,6],[5,8],[7]]=>14
[[1,2,4],[3,6],[5,8],[7]]=>15
[[1,2,3],[4,6],[5,8],[7]]=>12
[[1,3,5],[2,4],[6,8],[7]]=>13
[[1,2,5],[3,4],[6,8],[7]]=>11
[[1,3,4],[2,5],[6,8],[7]]=>9
[[1,2,4],[3,5],[6,8],[7]]=>10
[[1,2,3],[4,5],[6,8],[7]]=>7
[[1,4,7],[2,5],[3,6],[8]]=>9
[[1,3,7],[2,5],[4,6],[8]]=>12
[[1,2,7],[3,5],[4,6],[8]]=>10
[[1,3,7],[2,4],[5,6],[8]]=>8
[[1,2,7],[3,4],[5,6],[8]]=>6
[[1,4,6],[2,5],[3,7],[8]]=>8
[[1,3,6],[2,5],[4,7],[8]]=>11
[[1,2,6],[3,5],[4,7],[8]]=>9
[[1,3,6],[2,4],[5,7],[8]]=>7
[[1,2,6],[3,4],[5,7],[8]]=>5
[[1,4,5],[2,6],[3,7],[8]]=>3
[[1,3,5],[2,6],[4,7],[8]]=>6
[[1,2,5],[3,6],[4,7],[8]]=>4
[[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]]=>5
[[1,3,5],[2,4],[6,7],[8]]=>6
[[1,2,5],[3,4],[6,7],[8]]=>4
[[1,3,4],[2,5],[6,7],[8]]=>2
[[1,2,4],[3,5],[6,7],[8]]=>3
[[1,2,3],[4,5],[6,7],[8]]=>0
[[1,6,8],[2,7],[3],[4],[5]]=>12
[[1,5,8],[2,7],[3],[4],[6]]=>17
[[1,4,8],[2,7],[3],[5],[6]]=>16
[[1,3,8],[2,7],[4],[5],[6]]=>15
[[1,2,8],[3,7],[4],[5],[6]]=>13
[[1,5,8],[2,6],[3],[4],[7]]=>11
[[1,4,8],[2,6],[3],[5],[7]]=>15
[[1,3,8],[2,6],[4],[5],[7]]=>14
[[1,2,8],[3,6],[4],[5],[7]]=>12
[[1,4,8],[2,5],[3],[6],[7]]=>10
[[1,3,8],[2,5],[4],[6],[7]]=>13
[[1,2,8],[3,5],[4],[6],[7]]=>11
[[1,3,8],[2,4],[5],[6],[7]]=>9
[[1,2,8],[3,4],[5],[6],[7]]=>7
[[1,6,7],[2,8],[3],[4],[5]]=>5
[[1,5,7],[2,8],[3],[4],[6]]=>10
[[1,4,7],[2,8],[3],[5],[6]]=>9
[[1,3,7],[2,8],[4],[5],[6]]=>8
[[1,2,7],[3,8],[4],[5],[6]]=>6
[[1,5,6],[2,8],[3],[4],[7]]=>11
[[1,4,6],[2,8],[3],[5],[7]]=>15
[[1,3,6],[2,8],[4],[5],[7]]=>14
[[1,2,6],[3,8],[4],[5],[7]]=>12
[[1,4,5],[2,8],[3],[6],[7]]=>10
[[1,3,5],[2,8],[4],[6],[7]]=>13
[[1,2,5],[3,8],[4],[6],[7]]=>11
[[1,3,4],[2,8],[5],[6],[7]]=>9
[[1,2,4],[3,8],[5],[6],[7]]=>10
[[1,2,3],[4,8],[5],[6],[7]]=>7
[[1,5,7],[2,6],[3],[4],[8]]=>10
[[1,4,7],[2,6],[3],[5],[8]]=>14
[[1,3,7],[2,6],[4],[5],[8]]=>13
[[1,2,7],[3,6],[4],[5],[8]]=>11
[[1,4,7],[2,5],[3],[6],[8]]=>9
[[1,3,7],[2,5],[4],[6],[8]]=>12
[[1,2,7],[3,5],[4],[6],[8]]=>10
[[1,3,7],[2,4],[5],[6],[8]]=>8
[[1,2,7],[3,4],[5],[6],[8]]=>6
[[1,5,6],[2,7],[3],[4],[8]]=>4
[[1,4,6],[2,7],[3],[5],[8]]=>8
[[1,3,6],[2,7],[4],[5],[8]]=>7
[[1,2,6],[3,7],[4],[5],[8]]=>5
[[1,4,5],[2,7],[3],[6],[8]]=>9
[[1,3,5],[2,7],[4],[6],[8]]=>12
[[1,2,5],[3,7],[4],[6],[8]]=>10
[[1,3,4],[2,7],[5],[6],[8]]=>8
[[1,2,4],[3,7],[5],[6],[8]]=>9
[[1,2,3],[4,7],[5],[6],[8]]=>6
[[1,4,6],[2,5],[3],[7],[8]]=>8
[[1,3,6],[2,5],[4],[7],[8]]=>11
[[1,2,6],[3,5],[4],[7],[8]]=>9
[[1,3,6],[2,4],[5],[7],[8]]=>7
[[1,2,6],[3,4],[5],[7],[8]]=>5
[[1,4,5],[2,6],[3],[7],[8]]=>3
[[1,3,5],[2,6],[4],[7],[8]]=>6
[[1,2,5],[3,6],[4],[7],[8]]=>4
[[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]]=>5
[[1,3,5],[2,4],[6],[7],[8]]=>6
[[1,2,5],[3,4],[6],[7],[8]]=>4
[[1,3,4],[2,5],[6],[7],[8]]=>2
[[1,2,4],[3,5],[6],[7],[8]]=>3
[[1,2,3],[4,5],[6],[7],[8]]=>0
[[1,7,8],[2],[3],[4],[5],[6]]=>6
[[1,6,8],[2],[3],[4],[5],[7]]=>12
[[1,5,8],[2],[3],[4],[6],[7]]=>11
[[1,4,8],[2],[3],[5],[6],[7]]=>10
[[1,3,8],[2],[4],[5],[6],[7]]=>9
[[1,2,8],[3],[4],[5],[6],[7]]=>7
[[1,6,7],[2],[3],[4],[5],[8]]=>5
[[1,5,7],[2],[3],[4],[6],[8]]=>10
[[1,4,7],[2],[3],[5],[6],[8]]=>9
[[1,3,7],[2],[4],[5],[6],[8]]=>8
[[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]]=>8
[[1,3,6],[2],[4],[5],[7],[8]]=>7
[[1,2,6],[3],[4],[5],[7],[8]]=>5
[[1,4,5],[2],[3],[6],[7],[8]]=>3
[[1,3,5],[2],[4],[6],[7],[8]]=>6
[[1,2,5],[3],[4],[6],[7],[8]]=>4
[[1,3,4],[2],[5],[6],[7],[8]]=>2
[[1,2,4],[3],[5],[6],[7],[8]]=>3
[[1,2,3],[4],[5],[6],[7],[8]]=>0
[[1,5],[2,6],[3,7],[4,8]]=>4
[[1,4],[2,6],[3,7],[5,8]]=>8
[[1,3],[2,6],[4,7],[5,8]]=>7
[[1,2],[3,6],[4,7],[5,8]]=>5
[[1,4],[2,5],[3,7],[6,8]]=>9
[[1,3],[2,5],[4,7],[6,8]]=>12
[[1,2],[3,5],[4,7],[6,8]]=>10
[[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]]=>3
[[1,3],[2,5],[4,6],[7,8]]=>6
[[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]]=>5
[[1,5],[2,7],[3,8],[4],[6]]=>10
[[1,4],[2,7],[3,8],[5],[6]]=>9
[[1,3],[2,7],[4,8],[5],[6]]=>8
[[1,2],[3,7],[4,8],[5],[6]]=>6
[[1,5],[2,6],[3,8],[4],[7]]=>11
[[1,4],[2,6],[3,8],[5],[7]]=>15
[[1,3],[2,6],[4,8],[5],[7]]=>14
[[1,2],[3,6],[4,8],[5],[7]]=>12
[[1,4],[2,5],[3,8],[6],[7]]=>10
[[1,3],[2,5],[4,8],[6],[7]]=>13
[[1,2],[3,5],[4,8],[6],[7]]=>11
[[1,3],[2,4],[5,8],[6],[7]]=>9
[[1,2],[3,4],[5,8],[6],[7]]=>7
[[1,5],[2,6],[3,7],[4],[8]]=>4
[[1,4],[2,6],[3,7],[5],[8]]=>8
[[1,3],[2,6],[4,7],[5],[8]]=>7
[[1,2],[3,6],[4,7],[5],[8]]=>5
[[1,4],[2,5],[3,7],[6],[8]]=>9
[[1,3],[2,5],[4,7],[6],[8]]=>12
[[1,2],[3,5],[4,7],[6],[8]]=>10
[[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]]=>3
[[1,3],[2,5],[4,6],[7],[8]]=>6
[[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,7],[2,8],[3],[4],[5],[6]]=>6
[[1,6],[2,8],[3],[4],[5],[7]]=>12
[[1,5],[2,8],[3],[4],[6],[7]]=>11
[[1,4],[2,8],[3],[5],[6],[7]]=>10
[[1,3],[2,8],[4],[5],[6],[7]]=>9
[[1,2],[3,8],[4],[5],[6],[7]]=>7
[[1,6],[2,7],[3],[4],[5],[8]]=>5
[[1,5],[2,7],[3],[4],[6],[8]]=>10
[[1,4],[2,7],[3],[5],[6],[8]]=>9
[[1,3],[2,7],[4],[5],[6],[8]]=>8
[[1,2],[3,7],[4],[5],[6],[8]]=>6
[[1,5],[2,6],[3],[4],[7],[8]]=>4
[[1,4],[2,6],[3],[5],[7],[8]]=>8
[[1,3],[2,6],[4],[5],[7],[8]]=>7
[[1,2],[3,6],[4],[5],[7],[8]]=>5
[[1,4],[2,5],[3],[6],[7],[8]]=>3
[[1,3],[2,5],[4],[6],[7],[8]]=>6
[[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,8],[2],[3],[4],[5],[6],[7]]=>7
[[1,7],[2],[3],[4],[5],[6],[8]]=>6
[[1,6],[2],[3],[4],[5],[7],[8]]=>5
[[1,5],[2],[3],[4],[6],[7],[8]]=>4
[[1,4],[2],[3],[5],[6],[7],[8]]=>3
[[1,3],[2],[4],[5],[6],[7],[8]]=>2
[[1,2],[3],[4],[5],[6],[7],[8]]=>0
[[1],[2],[3],[4],[5],[6],[7],[8]]=>0
[[1,2,3,4,5,6,7,8,9]]=>0
[[1,2,3,4,5,6,7,8],[9]]=>0
[[1,2,3,4,5,6,7],[8,9]]=>0
[[1,2,3,4,5,6,7],[8],[9]]=>0
[[1,2,3,4,5,6],[7,8,9]]=>0
[[1,2,3,4,5,6],[7,8],[9]]=>0
[[1,2,3,4,5,6],[7],[8],[9]]=>0
[[1,2,3,4,5],[6,7,8,9]]=>0
[[1,2,3,4,5],[6,7,8],[9]]=>0
[[1,2,3,4,5],[6,7],[8,9]]=>0
[[1,2,3,4,5],[6,7],[8],[9]]=>0
[[1,2,3,4,5],[6],[7],[8],[9]]=>0
[[1,2,3,4],[5,6,7,8],[9]]=>0
[[1,2,3,4],[5,6,7],[8,9]]=>0
[[1,2,3,4],[5,6,7],[8],[9]]=>0
[[1,2,3,4],[5,6],[7,8],[9]]=>0
[[1,2,3,4],[5,6],[7],[8],[9]]=>0
[[1,2,3,4],[5],[6],[7],[8],[9]]=>0
[[1,2,3],[4,5,6],[7,8,9]]=>0
[[1,2,3],[4,5,6],[7,8],[9]]=>0
[[1,2,3],[4,5,6],[7],[8],[9]]=>0
[[1,2,3],[4,5],[6,7],[8,9]]=>0
[[1,2,3],[4,5],[6,7],[8],[9]]=>0
[[1,2,3],[4,5],[6],[7],[8],[9]]=>0
[[1,2,3],[4],[5],[6],[7],[8],[9]]=>0
[[1,2],[3,4],[5,6],[7,8],[9]]=>0
[[1,2],[3,4],[5,6],[7],[8],[9]]=>0
[[1,2],[3,4],[5],[6],[7],[8],[9]]=>0
[[1,2],[3],[4],[5],[6],[7],[8],[9]]=>0
[[1],[2],[3],[4],[5],[6],[7],[8],[9]]=>0
[[1,3,4,5,6,7,8,9],[2]]=>2
[[1,2,5,6,7,8,9],[3,4]]=>4
[[1,4,5,6,7,8,9],[2],[3]]=>3
[[1,2,3,7,8,9],[4,5,6]]=>6
[[1,3,6,7,8,9],[2,5],[4]]=>11
[[1,5,6,7,8,9],[2],[3],[4]]=>4
[[1,2,3,4,9],[5,6,7,8]]=>8
[[1,3,4,8,9],[2,6,7],[5]]=>14
[[1,2,7,8,9],[3,4],[5,6]]=>6
[[1,4,7,8,9],[2,6],[3],[5]]=>14
[[1,6,7,8,9],[2],[3],[4],[5]]=>5
[[1,3,4,5],[2,7,8,9],[6]]=>8
[[1,2,5,9],[3,4,8],[6,7]]=>19
[[1,4,5,9],[2,7,8],[3],[6]]=>17
[[1,3,8,9],[2,5],[4,7],[6]]=>19
[[1,5,8,9],[2,7],[3],[4],[6]]=>17
[[1,7,8,9],[2],[3],[4],[5],[6]]=>6
[[1,3,6],[2,5,9],[4,8],[7]]=>26
[[1,5,6],[2,8,9],[3],[4],[7]]=>11
[[1,2,9],[3,4],[5,6],[7,8]]=>8
[[1,4,9],[2,6],[3,8],[5],[7]]=>23
[[1,6,9],[2,8],[3],[4],[5],[7]]=>20
[[1,8,9],[2],[3],[4],[5],[6],[7]]=>7
[[1,3],[2,5],[4,7],[6,9],[8]]=>20
[[1,5],[2,7],[3,9],[4],[6],[8]]=>18
[[1,7],[2,9],[3],[4],[5],[6],[8]]=>14
[[1,9],[2],[3],[4],[5],[6],[7],[8]]=>8
[[1,8],[2,9],[3],[4],[5],[6],[7]]=>7
[[1,7],[2,8],[3,9],[4],[5],[6]]=>6
[[1,7,9],[2,8],[3],[4],[5],[6]]=>14
[[1,6],[2,7],[3,8],[4,9],[5]]=>5
[[1,6,9],[2,7],[3,8],[4],[5]]=>13
[[1,6,8],[2,7,9],[3],[4],[5]]=>12
[[1,6,8,9],[2,7],[3],[4],[5]]=>12
[[1,5,9],[2,6],[3,7],[4,8]]=>12
[[1,5,8],[2,6,9],[3,7],[4]]=>11
[[1,5,8,9],[2,6],[3,7],[4]]=>11
[[1,5,7,9],[2,6,8],[3],[4]]=>18
[[1,5,7,8,9],[2,6],[3],[4]]=>10
[[1,4,7],[2,5,8],[3,6,9]]=>9
[[1,4,7,9],[2,5,8],[3,6]]=>17
[[1,4,7,8,9],[2,5],[3,6]]=>9
[[1,4,6,8],[2,5,7,9],[3]]=>15
[[1,4,6,8,9],[2,5,7],[3]]=>15
[[1,4,6,7,8,9],[2,5],[3]]=>8
[[1,3,5,7,9],[2,4,6,8]]=>20
[[1,3,5,7,8,9],[2,4,6]]=>12
[[1,3,5,6,7,8,9],[2,4]]=>6
[[1,3],[2,4],[5],[6],[7],[8],[9]]=>2
[[1,4],[2,5],[3,6],[7],[8],[9]]=>3
[[1,2,4],[3,5],[6],[7],[8],[9]]=>3
[[1,5],[2,6],[3,7],[4,8],[9]]=>4
[[1,2,5],[3,6],[4,7],[8],[9]]=>4
[[1,3,5],[2,4,6],[7],[8],[9]]=>6
[[1,2,3,5],[4,6],[7],[8],[9]]=>4
[[1,2,6],[3,7],[4,8],[5,9]]=>5
[[1,3,6],[2,4,7],[5,8],[9]]=>7
[[1,2,3,6],[4,7],[5,8],[9]]=>5
[[1,2,4,6],[3,5,7],[8],[9]]=>8
[[1,2,3,4,6],[5,7],[8],[9]]=>5
[[1,2,4,7],[3,5,8],[6,9]]=>9
[[1,2,3,4,7],[5,8],[6,9]]=>6
[[1,3,5,7],[2,4,6,8],[9]]=>12
[[1,2,3,5,7],[4,6,8],[9]]=>10
[[1,2,3,4,5,7],[6,8],[9]]=>6
[[1,2,4,6,8],[3,5,7,9]]=>15
[[1,2,3,4,6,8],[5,7,9]]=>12
[[1,2,3,4,5,6,8],[7,9]]=>7
[[1,2,3,4,5,6,7,9],[8]]=>8
[[1,2,3,4,5,6,9],[7,8]]=>8
[[1,2,3,4,5,6,9],[7],[8]]=>8
[[1,2,3,4,5,9],[6,7,8]]=>8
[[1,2,3,4,5,9],[6,7],[8]]=>8
[[1,2,3,4,5,9],[6],[7],[8]]=>8
[[1,2,3,4,9],[5,6,7],[8]]=>8
[[1,2,3,4,9],[5,6],[7,8]]=>8
[[1,2,3,4,9],[5,6],[7],[8]]=>8
[[1,2,3,4,9],[5],[6],[7],[8]]=>8
[[1,2,3,7],[4,5,6,9],[8]]=>14
[[1,2,3,9],[4,5,6],[7,8]]=>8
[[1,2,3,9],[4,5,6],[7],[8]]=>8
[[1,2,3,9],[4,5],[6,7],[8]]=>8
[[1,2,3,9],[4,5],[6],[7],[8]]=>8
[[1,2,3,9],[4],[5],[6],[7],[8]]=>8
[[1,2,5],[3,4,8],[6,7,9]]=>11
[[1,2,5],[3,4,9],[6,7],[8]]=>12
[[1,2,5],[3,4,9],[6],[7],[8]]=>12
[[1,2,9],[3,4],[5,6],[7],[8]]=>8
[[1,2,9],[3,4],[5],[6],[7],[8]]=>8
[[1,2,9],[3],[4],[5],[6],[7],[8]]=>8
[[1,3],[2,5],[4,9],[6],[7],[8]]=>14
[[1,3],[2,9],[4],[5],[6],[7],[8]]=>10
[[1,2,4,5,6,7,8,9],[3]]=>3
[[1,4],[2,6],[3,8],[5],[7],[9]]=>15
[[1,6],[2,8],[3],[4],[5],[7],[9]]=>12
[[1,8],[2],[3],[4],[5],[6],[7],[9]]=>7
[[1,3,4,5,6,7,8],[2,9]]=>2
[[1,3,4,5,6,7,8],[2],[9]]=>2
[[1,3,4,5,6,7],[2,8,9]]=>2
[[1,3,4,5,6,7],[2,9],[8]]=>10
[[1,3,4,5,6,7],[2],[8],[9]]=>2
[[1,3,4,5,6],[2,7,8,9]]=>2
[[1,3,4,5,6],[2,8,9],[7]]=>9
[[1,3,4,5,6],[2,8],[7,9]]=>9
[[1,3,4,5,6],[2,8],[7],[9]]=>9
[[1,3,4,5,6],[2],[7],[8],[9]]=>2
[[1,3,4,5],[2,7,8],[6,9]]=>8
[[1,3,4,5],[2,7,8],[6],[9]]=>8
[[1,3,4,5],[2,7],[6,9],[8]]=>16
[[1,3,4,5],[2,7],[6],[8],[9]]=>8
[[1,3,4,5],[2],[6],[7],[8],[9]]=>2
[[1,3,4],[2,6,7],[5,8,9]]=>7
[[1,3,4],[2,6,7],[5,9],[8]]=>15
[[1,3,4],[2,6,7],[5],[8],[9]]=>7
[[1,3,4],[2,6],[5,8],[7,9]]=>14
[[1,3,4],[2,6],[5,8],[7],[9]]=>14
[[1,3,4],[2,6],[5],[7],[8],[9]]=>7
[[1,3,4],[2],[5],[6],[7],[8],[9]]=>2
[[1,3],[2,5],[4,7],[6],[8],[9]]=>12
[[1,3],[2,5],[4],[6],[7],[8],[9]]=>6
[[1,3],[2],[4],[5],[6],[7],[8],[9]]=>2
[[1,2,5,6,7,8],[3,4,9]]=>4
[[1,2,5,6,7,8],[3,4],[9]]=>4
[[1,4,5,6,7,8],[2],[3],[9]]=>3
[[1,2,3,7,8],[4,5,6,9]]=>6
[[1,2,3,7,8],[4,5,6],[9]]=>6
[[1,3,6,7,8],[2,5],[4,9]]=>11
[[1,3,6,7,8],[2,5],[4],[9]]=>11
[[1,5,6,7,8],[2],[3],[4],[9]]=>4
[[1,3,4,8],[2,6,7],[5,9]]=>14
[[1,3,4,8],[2,6,7],[5],[9]]=>14
[[1,2,7,8],[3,4],[5,6],[9]]=>6
[[1,4,7,8],[2,6],[3],[5],[9]]=>14
[[1,6,7,8],[2],[3],[4],[5],[9]]=>5
[[1,2,5],[3,4,8],[6,7],[9]]=>11
[[1,4,5],[2,7,8],[3],[6],[9]]=>9
[[1,3,8],[2,5],[4,7],[6,9]]=>19
[[1,3,8],[2,5],[4,7],[6],[9]]=>19
[[1,5,8],[2,7],[3],[4],[6],[9]]=>17
[[1,7,8],[2],[3],[4],[5],[6],[9]]=>6
[[1,2,3,6,7,8,9],[4,5]]=>5
[[1,2,5,6,7,8,9],[3],[4]]=>4
[[1,2,3,4,8,9],[5,6,7]]=>7
[[1,2,4,7,8,9],[3,6],[5]]=>14
[[1,2,6,7,8,9],[3],[4],[5]]=>5
[[1,2,4,5,9],[3,7,8],[6]]=>17
[[1,2,3,8,9],[4,5],[6,7]]=>7
[[1,2,5,8,9],[3,7],[4],[6]]=>17
[[1,2,7,8,9],[3],[4],[5],[6]]=>6
[[1,2,5,6],[3,4,8,9],[7]]=>11
[[1,2,3,6],[4,5,9],[7,8]]=>13
[[1,2,5,6],[3,8,9],[4],[7]]=>11
[[1,2,4,9],[3,6],[5,8],[7]]=>23
[[1,2,6,9],[3,8],[4],[5],[7]]=>20
[[1,2,8,9],[3],[4],[5],[6],[7]]=>7
[[1,2,4],[3,6,7],[5,9],[8]]=>16
[[1,2,7],[3,6,9],[4],[5],[8]]=>19
[[1,2,5],[3,7],[4,9],[6],[8]]=>18
[[1,2,7],[3,9],[4],[5],[6],[8]]=>14
[[1,2],[3,6],[4,8],[5],[7],[9]]=>12
[[1,2],[3,8],[4],[5],[6],[7],[9]]=>7
[[1,2,3,4,7,8,9],[5,6]]=>6
[[1,2,4,5,8,9],[3,7],[6]]=>16
[[1,2,4,5,6,7],[3,9],[8]]=>11
[[1,2,5,6,9],[3,8],[4],[7]]=>19
[[1,2,3,4,7,8],[5,6],[9]]=>6
[[1,2,5,6,7,8],[3],[4],[9]]=>4
[[1,2,4,5],[3,7],[6,9],[8]]=>17
[[1,2,6,7],[3,9],[4],[5],[8]]=>13
[[1,2,5,6],[3,8],[4],[7],[9]]=>11
[[1,2,7,8],[3],[4],[5],[6],[9]]=>6
[[1,3,5,7,9],[2,4,6,8,10]]=>20
[[1,3,5,7,8],[2,4,6,9,10]]=>12
[[1,3,5,6,9],[2,4,7,8,10]]=>14
[[1,3,5,6,8],[2,4,7,9,10]]=>13
[[1,3,5,6,7],[2,4,8,9,10]]=>6
[[1,3,4,7,9],[2,5,6,8,10]]=>16
[[1,3,4,7,8],[2,5,6,9,10]]=>8
[[1,3,4,6,9],[2,5,7,8,10]]=>15
[[1,3,4,6,8],[2,5,7,9,10]]=>14
[[1,3,4,6,7],[2,5,8,9,10]]=>7
[[1,3,4,5,9],[2,6,7,8,10]]=>10
[[1,3,4,5,8],[2,6,7,9,10]]=>9
[[1,3,4,5,7],[2,6,8,9,10]]=>8
[[1,3,4,5,6],[2,7,8,9,10]]=>2
[[1,2,5,7,9],[3,4,6,8,10]]=>18
[[1,2,5,7,8],[3,4,6,9,10]]=>10
[[1,2,5,6,9],[3,4,7,8,10]]=>12
[[1,2,5,6,8],[3,4,7,9,10]]=>11
[[1,2,5,6,7],[3,4,8,9,10]]=>4
[[1,2,4,7,9],[3,5,6,8,10]]=>17
[[1,2,4,7,8],[3,5,6,9,10]]=>9
[[1,2,4,6,9],[3,5,7,8,10]]=>16
[[1,2,4,6,8],[3,5,7,9,10]]=>15
[[1,2,4,6,7],[3,5,8,9,10]]=>8
[[1,2,4,5,9],[3,6,7,8,10]]=>11
[[1,2,4,5,8],[3,6,7,9,10]]=>10
[[1,2,4,5,7],[3,6,8,9,10]]=>9
[[1,2,4,5,6],[3,7,8,9,10]]=>3
[[1,2,3,7,9],[4,5,6,8,10]]=>14
[[1,2,3,7,8],[4,5,6,9,10]]=>6
[[1,2,3,6,9],[4,5,7,8,10]]=>13
[[1,2,3,6,8],[4,5,7,9,10]]=>12
[[1,2,3,6,7],[4,5,8,9,10]]=>5
[[1,2,3,5,9],[4,6,7,8,10]]=>12
[[1,2,3,5,8],[4,6,7,9,10]]=>11
[[1,2,3,5,7],[4,6,8,9,10]]=>10
[[1,2,3,5,6],[4,7,8,9,10]]=>4
[[1,2,3,4,9],[5,6,7,8,10]]=>8
[[1,2,3,4,8],[5,6,7,9,10]]=>7
[[1,2,3,4,7],[5,6,8,9,10]]=>6
[[1,2,3,4,6],[5,7,8,9,10]]=>5
[[1,2,3,4,5],[6,7,8,9,10]]=>0
[[1,2,3,4,5,6,7,8,9,10]]=>0
[[1,2,3,4,5,6,7,8,9],[10]]=>0
[[1,2,3,4,5,6,7,8],[9,10]]=>0
[[1,2,3,4,5,6,7,8],[9],[10]]=>0
[[1,2,3,4,5,6,7],[8,9,10]]=>0
[[1,2,3,4,5,6,7],[8,9],[10]]=>0
[[1,2,3,4,5,6,7],[8],[9],[10]]=>0
[[1,2,3,4,5,6],[7,8,9,10]]=>0
[[1,2,3,4,5,6],[7,8,9],[10]]=>0
[[1,2,3,4,5,6],[7,8],[9,10]]=>0
[[1,2,3,4,5,6],[7,8],[9],[10]]=>0
[[1,2,3,4,5,6],[7],[8],[9],[10]]=>0
[[1,2,3,4,5],[6,7,8,9],[10]]=>0
[[1,2,3,4,5],[6,7,8],[9,10]]=>0
[[1,2,3,4,5],[6,7,8],[9],[10]]=>0
[[1,2,3,4,5],[6,7],[8,9],[10]]=>0
[[1,2,3,4,5],[6,7],[8],[9],[10]]=>0
[[1,2,3,4,5],[6],[7],[8],[9],[10]]=>0
[[1,2,3,4],[5,6,7,8],[9,10]]=>0
[[1,2,3,4],[5,6,7,8],[9],[10]]=>0
[[1,2,3,4],[5,6,7],[8,9,10]]=>0
[[1,2,3,4],[5,6,7],[8,9],[10]]=>0
[[1,2,3,4],[5,6,7],[8],[9],[10]]=>0
[[1,2,3,4],[5,6],[7,8],[9,10]]=>0
[[1,2,3,4],[5,6],[7,8],[9],[10]]=>0
[[1,2,3,4],[5,6],[7],[8],[9],[10]]=>0
[[1,2,3,4],[5],[6],[7],[8],[9],[10]]=>0
[[1,2,3],[4,5,6],[7,8,9],[10]]=>0
[[1,2,3],[4,5,6],[7,8],[9,10]]=>0
[[1,2,3],[4,5,6],[7,8],[9],[10]]=>0
[[1,2,3],[4,5,6],[7],[8],[9],[10]]=>0
[[1,2,3],[4,5],[6,7],[8,9],[10]]=>0
[[1,2,3],[4,5],[6,7],[8],[9],[10]]=>0
[[1,2,3],[4,5],[6],[7],[8],[9],[10]]=>0
[[1,2,3],[4],[5],[6],[7],[8],[9],[10]]=>0
[[1,2],[3,4],[5,6],[7,8],[9,10]]=>0
[[1,2],[3,4],[5,6],[7,8],[9],[10]]=>0
[[1,2],[3,4],[5,6],[7],[8],[9],[10]]=>0
[[1,2],[3,4],[5],[6],[7],[8],[9],[10]]=>0
[[1,2],[3],[4],[5],[6],[7],[8],[9],[10]]=>0
[[1],[2],[3],[4],[5],[6],[7],[8],[9],[10]]=>0
[[1,3,4,5,6,7,8,9,10],[2]]=>2
[[1,2,5,6,7,8,9,10],[3,4]]=>4
[[1,4,5,6,7,8,9,10],[2],[3]]=>3
[[1,2,3,7,8,9,10],[4,5,6]]=>6
[[1,3,6,7,8,9,10],[2,5],[4]]=>11
[[1,5,6,7,8,9,10],[2],[3],[4]]=>4
[[1,2,3,4,9,10],[5,6,7,8]]=>8
[[1,3,4,8,9,10],[2,6,7],[5]]=>14
[[1,2,7,8,9,10],[3,4],[5,6]]=>6
[[1,4,7,8,9,10],[2,6],[3],[5]]=>14
[[1,6,7,8,9,10],[2],[3],[4],[5]]=>5
[[1,3,4,5,10],[2,7,8,9],[6]]=>17
[[1,2,5,9,10],[3,4,8],[6,7]]=>19
[[1,4,5,9,10],[2,7,8],[3],[6]]=>17
[[1,3,8,9,10],[2,5],[4,7],[6]]=>19
[[1,5,8,9,10],[2,7],[3],[4],[6]]=>17
[[1,7,8,9,10],[2],[3],[4],[5],[6]]=>6
[[1,2,5,6],[3,4,9,10],[7,8]]=>12
[[1,4,5,6],[2,8,9,10],[3],[7]]=>10
[[1,2,3,10],[4,5,6],[7,8,9]]=>9
[[1,3,6,10],[2,5,9],[4,8],[7]]=>35
[[1,5,6,10],[2,8,9],[3],[4],[7]]=>20
[[1,2,9,10],[3,4],[5,6],[7,8]]=>8
[[1,4,9,10],[2,6],[3,8],[5],[7]]=>23
[[1,6,9,10],[2,8],[3],[4],[5],[7]]=>20
[[1,8,9,10],[2],[3],[4],[5],[6],[7]]=>7
[[1,3,4],[2,6,7],[5,9,10],[8]]=>15
[[1,2,7],[3,4,10],[5,6],[8,9]]=>15
[[1,4,7],[2,6,10],[3,9],[5],[8]]=>31
[[1,6,7],[2,9,10],[3],[4],[5],[8]]=>13
[[1,3,10],[2,5],[4,7],[6,9],[8]]=>29
[[1,5,10],[2,7],[3,9],[4],[6],[8]]=>27
[[1,7,10],[2,9],[3],[4],[5],[6],[8]]=>23
[[1,9,10],[2],[3],[4],[5],[6],[7],[8]]=>8
[[1,4],[2,6],[3,8],[5,10],[7],[9]]=>24
[[1,6],[2,8],[3,10],[4],[5],[7],[9]]=>21
[[1,8],[2,10],[3],[4],[5],[6],[7],[9]]=>16
[[1,10],[2],[3],[4],[5],[6],[7],[8],[9]]=>9
[[1,9],[2,10],[3],[4],[5],[6],[7],[8]]=>8
[[1,8],[2,9],[3,10],[4],[5],[6],[7]]=>7
[[1,8,10],[2,9],[3],[4],[5],[6],[7]]=>16
[[1,7],[2,8],[3,9],[4,10],[5],[6]]=>6
[[1,7,10],[2,8],[3,9],[4],[5],[6]]=>15
[[1,7,9],[2,8,10],[3],[4],[5],[6]]=>14
[[1,7,9,10],[2,8],[3],[4],[5],[6]]=>14
[[1,6],[2,7],[3,8],[4,9],[5,10]]=>5
[[1,6,10],[2,7],[3,8],[4,9],[5]]=>14
[[1,6,9],[2,7,10],[3,8],[4],[5]]=>13
[[1,6,9,10],[2,7],[3,8],[4],[5]]=>13
[[1,6,8,10],[2,7,9],[3],[4],[5]]=>21
[[1,6,8,9,10],[2,7],[3],[4],[5]]=>12
[[1,5,9],[2,6,10],[3,7],[4,8]]=>12
[[1,5,9,10],[2,6],[3,7],[4,8]]=>12
[[1,5,8],[2,6,9],[3,7,10],[4]]=>11
[[1,5,8,10],[2,6,9],[3,7],[4]]=>20
[[1,5,8,9,10],[2,6],[3,7],[4]]=>11
[[1,5,7,9],[2,6,8,10],[3],[4]]=>18
[[1,5,7,9,10],[2,6,8],[3],[4]]=>18
[[1,5,7,8,9,10],[2,6],[3],[4]]=>10
[[1,4,7,10],[2,5,8],[3,6,9]]=>18
[[1,4,7,9],[2,5,8,10],[3,6]]=>17
[[1,4,7,9,10],[2,5,8],[3,6]]=>17
[[1,4,7,8,9,10],[2,5],[3,6]]=>9
[[1,4,6,8,10],[2,5,7,9],[3]]=>24
[[1,4,6,8,9,10],[2,5,7],[3]]=>15
[[1,4,6,7,8,9,10],[2,5],[3]]=>8
[[1,3,5,7,9,10],[2,4,6,8]]=>20
[[1,3,5,7,8,9,10],[2,4,6]]=>12
[[1,3,5,6,7,8,9,10],[2,4]]=>6
[[1,3],[2,4],[5],[6],[7],[8],[9],[10]]=>2
[[1,4],[2,5],[3,6],[7],[8],[9],[10]]=>3
[[1,2,4],[3,5],[6],[7],[8],[9],[10]]=>3
[[1,5],[2,6],[3,7],[4,8],[9],[10]]=>4
[[1,2,5],[3,6],[4,7],[8],[9],[10]]=>4
[[1,3,5],[2,4,6],[7],[8],[9],[10]]=>6
[[1,2,3,5],[4,6],[7],[8],[9],[10]]=>4
[[1,2,6],[3,7],[4,8],[5,9],[10]]=>5
[[1,3,6],[2,4,7],[5,8],[9],[10]]=>7
[[1,2,3,6],[4,7],[5,8],[9],[10]]=>5
[[1,2,4,6],[3,5,7],[8],[9],[10]]=>8
[[1,2,3,4,6],[5,7],[8],[9],[10]]=>5
[[1,3,7],[2,4,8],[5,9],[6,10]]=>8
[[1,2,3,7],[4,8],[5,9],[6,10]]=>6
[[1,4,7],[2,5,8],[3,6,9],[10]]=>9
[[1,2,4,7],[3,5,8],[6,9],[10]]=>9
[[1,2,3,4,7],[5,8],[6,9],[10]]=>6
[[1,3,5,7],[2,4,6,8],[9],[10]]=>12
[[1,2,3,5,7],[4,6,8],[9],[10]]=>10
[[1,2,3,4,5,7],[6,8],[9],[10]]=>6
[[1,2,5,8],[3,6,9],[4,7,10]]=>11
[[1,3,5,8],[2,4,6,9],[7,10]]=>13
[[1,2,3,5,8],[4,6,9],[7,10]]=>11
[[1,2,3,4,5,8],[6,9],[7,10]]=>7
[[1,2,4,6,8],[3,5,7,9],[10]]=>15
[[1,2,3,4,6,8],[5,7,9],[10]]=>12
[[1,2,3,4,5,6,8],[7,9],[10]]=>7
[[1,2,3,5,7,9],[4,6,8,10]]=>18
[[1,2,3,4,5,7,9],[6,8,10]]=>14
[[1,2,3,4,5,6,7,9],[8,10]]=>8
[[1,2],[3,4],[5,6],[7,9],[8,10]]=>8
[[1,2],[3,4],[5,7],[6,8],[9,10]]=>6
[[1,2],[3,4],[5,7],[6,9],[8,10]]=>14
[[1,2],[3,4],[5,8],[6,9],[7,10]]=>7
[[1,2],[3,5],[4,6],[7,8],[9,10]]=>4
[[1,2],[3,5],[4,6],[7,9],[8,10]]=>12
[[1,2],[3,5],[4,7],[6,8],[9,10]]=>10
[[1,2],[3,5],[4,7],[6,9],[8,10]]=>18
[[1,2],[3,5],[4,8],[6,9],[7,10]]=>11
[[1,2],[3,6],[4,7],[5,8],[9,10]]=>5
[[1,2],[3,6],[4,7],[5,9],[8,10]]=>13
[[1,2],[3,6],[4,8],[5,9],[7,10]]=>12
[[1,2],[3,7],[4,8],[5,9],[6,10]]=>6
[[1,3],[2,4],[5,6],[7,8],[9,10]]=>2
[[1,3],[2,4],[5,6],[7,9],[8,10]]=>10
[[1,3],[2,4],[5,7],[6,8],[9,10]]=>8
[[1,3],[2,4],[5,7],[6,9],[8,10]]=>16
[[1,3],[2,4],[5,8],[6,9],[7,10]]=>9
[[1,3],[2,5],[4,6],[7,8],[9,10]]=>6
[[1,3],[2,5],[4,6],[7,9],[8,10]]=>14
[[1,3],[2,5],[4,7],[6,8],[9,10]]=>12
[[1,3],[2,5],[4,7],[6,9],[8,10]]=>20
[[1,3],[2,5],[4,8],[6,9],[7,10]]=>13
[[1,3],[2,6],[4,7],[5,8],[9,10]]=>7
[[1,3],[2,6],[4,7],[5,9],[8,10]]=>15
[[1,3],[2,6],[4,8],[5,9],[7,10]]=>14
[[1,3],[2,7],[4,8],[5,9],[6,10]]=>8
[[1,4],[2,5],[3,6],[7,8],[9,10]]=>3
[[1,4],[2,5],[3,6],[7,9],[8,10]]=>11
[[1,4],[2,5],[3,7],[6,8],[9,10]]=>9
[[1,4],[2,5],[3,7],[6,9],[8,10]]=>17
[[1,4],[2,5],[3,8],[6,9],[7,10]]=>10
[[1,4],[2,6],[3,7],[5,8],[9,10]]=>8
[[1,4],[2,6],[3,7],[5,9],[8,10]]=>16
[[1,4],[2,6],[3,8],[5,9],[7,10]]=>15
[[1,4],[2,7],[3,8],[5,9],[6,10]]=>9
[[1,5],[2,6],[3,7],[4,8],[9,10]]=>4
[[1,5],[2,6],[3,7],[4,9],[8,10]]=>12
[[1,5],[2,6],[3,8],[4,9],[7,10]]=>11
[[1,5],[2,7],[3,8],[4,9],[6,10]]=>10
[[1,2,3,4,5,6,7,8,10],[9]]=>9
[[1,2,3,4,5,6,7,10],[8,9]]=>9
[[1,2,3,4,5,6,7,10],[8],[9]]=>9
[[1,2,3,4,5,6,10],[7,8,9]]=>9
[[1,2,3,4,5,6,10],[7,8],[9]]=>9
[[1,2,3,4,5,6,10],[7],[8],[9]]=>9
[[1,2,3,4,5,10],[6,7,8,9]]=>9
[[1,2,3,4,5,10],[6,7,8],[9]]=>9
[[1,2,3,4,5,10],[6,7],[8,9]]=>9
[[1,2,3,4,5,10],[6,7],[8],[9]]=>9
[[1,2,3,4,5,10],[6],[7],[8],[9]]=>9
[[1,2,3,4,10],[5,6,7,8],[9]]=>9
[[1,2,3,4,10],[5,6,7],[8,9]]=>9
[[1,2,3,4,10],[5,6,7],[8],[9]]=>9
[[1,2,3,4,10],[5,6],[7,8],[9]]=>9
[[1,2,3,4,10],[5,6],[7],[8],[9]]=>9
[[1,2,3,4,10],[5],[6],[7],[8],[9]]=>9
[[1,2,3,7],[4,5,6,10],[8,9]]=>15
[[1,2,3,7],[4,5,6,10],[8],[9]]=>15
[[1,2,3,10],[4,5,6],[7,8],[9]]=>9
[[1,2,3,10],[4,5,6],[7],[8],[9]]=>9
[[1,2,3,10],[4,5],[6,7],[8,9]]=>9
[[1,2,3,10],[4,5],[6,7],[8],[9]]=>9
[[1,2,3,10],[4,5],[6],[7],[8],[9]]=>9
[[1,2,3,10],[4],[5],[6],[7],[8],[9]]=>9
[[1,2,5],[3,4,8],[6,7,10],[9]]=>20
[[1,2,5],[3,4,10],[6,7],[8,9]]=>13
[[1,2,5],[3,4,10],[6,7],[8],[9]]=>13
[[1,2,5],[3,4,10],[6],[7],[8],[9]]=>13
[[1,2,10],[3,4],[5,6],[7,8],[9]]=>9
[[1,2,10],[3,4],[5,6],[7],[8],[9]]=>9
[[1,2,10],[3,4],[5],[6],[7],[8],[9]]=>9
[[1,2,10],[3],[4],[5],[6],[7],[8],[9]]=>9
[[1,3],[2,5],[4,7],[6,10],[8],[9]]=>21
[[1,3],[2,5],[4,10],[6],[7],[8],[9]]=>15
[[1,3],[2,10],[4],[5],[6],[7],[8],[9]]=>11
[[1,2,4,5,6,7,8,9,10],[3]]=>3
[[1,3],[2,5],[4,7],[6,9],[8],[10]]=>20
[[1,5],[2,7],[3,9],[4],[6],[8],[10]]=>18
[[1,7],[2,9],[3],[4],[5],[6],[8],[10]]=>14
[[1,9],[2],[3],[4],[5],[6],[7],[8],[10]]=>8
[[1,3,4,5,6,7,8,9],[2,10]]=>2
[[1,3,4,5,6,7,8,9],[2],[10]]=>2
[[1,3,4,5,6,7,8],[2,9,10]]=>2
[[1,3,4,5,6,7,8],[2,10],[9]]=>11
[[1,3,4,5,6,7,8],[2],[9],[10]]=>2
[[1,3,4,5,6,7],[2,8,9,10]]=>2
[[1,3,4,5,6,7],[2,9,10],[8]]=>10
[[1,3,4,5,6,7],[2,9],[8,10]]=>10
[[1,3,4,5,6,7],[2,9],[8],[10]]=>10
[[1,3,4,5,6,7],[2],[8],[9],[10]]=>2
[[1,3,4,5,6],[2,8,9,10],[7]]=>9
[[1,3,4,5,6],[2,8,9],[7,10]]=>9
[[1,3,4,5,6],[2,8,9],[7],[10]]=>9
[[1,3,4,5,6],[2,8],[7,10],[9]]=>18
[[1,3,4,5,6],[2,8],[7],[9],[10]]=>9
[[1,3,4,5,6],[2],[7],[8],[9],[10]]=>2
[[1,3,4,5],[2,7,8,9],[6,10]]=>8
[[1,3,4,5],[2,7,8,9],[6],[10]]=>8
[[1,3,4,5],[2,7,8],[6,9,10]]=>8
[[1,3,4,5],[2,7,8],[6,10],[9]]=>17
[[1,3,4,5],[2,7,8],[6],[9],[10]]=>8
[[1,3,4,5],[2,7],[6,9],[8,10]]=>16
[[1,3,4,5],[2,7],[6,9],[8],[10]]=>16
[[1,3,4,5],[2,7],[6],[8],[9],[10]]=>8
[[1,3,4,5],[2],[6],[7],[8],[9],[10]]=>2
[[1,3,4],[2,6,7],[5,9],[8,10]]=>15
[[1,3,4],[2,6,7],[5,9],[8],[10]]=>15
[[1,3,4],[2,6,7],[5],[8],[9],[10]]=>7
[[1,3,4],[2,6],[5,8],[7,10],[9]]=>23
[[1,3,4],[2,6],[5,8],[7],[9],[10]]=>14
[[1,3,4],[2,6],[5],[7],[8],[9],[10]]=>7
[[1,3,4],[2],[5],[6],[7],[8],[9],[10]]=>2
[[1,3],[2,5],[4,7],[6],[8],[9],[10]]=>12
[[1,3],[2,5],[4],[6],[7],[8],[9],[10]]=>6
[[1,3],[2],[4],[5],[6],[7],[8],[9],[10]]=>2
[[1,2,4,6,8,10],[3,5,7,9]]=>24
[[1,2,4,6,8,9,10],[3,5,7]]=>15
[[1,2,4,6,7,8,10],[3,5,9]]=>17
[[1,2,4,6,7,9,10],[3,5,8]]=>16
[[1,2,4,6,7,8,9,10],[3,5]]=>8
[[1,2,4,5,6,8,10],[3,7,9]]=>19
[[1,2,4,5,6,9,10],[3,7,8]]=>11
[[1,2,4,5,7,8,10],[3,6,9]]=>18
[[1,2,4,5,7,9,10],[3,6,8]]=>17
[[1,2,4,5,7,8,9,10],[3,6]]=>9
[[1,2,4,5,6,7,8,10],[3,9]]=>12
[[1,2,4,5,6,7,9,10],[3,8]]=>11
[[1,2,4,5,6,8,9,10],[3,7]]=>10
[[1,2,3,4,6,8,10],[5,7,9]]=>21
[[1,2,3,4,6,9,10],[5,7,8]]=>13
[[1,2,3,4,7,8,10],[5,6,9]]=>15
[[1,2,3,4,7,9,10],[5,6,8]]=>14
[[1,2,3,4,7,8,9,10],[5,6]]=>6
[[1,2,3,5,6,8,10],[4,7,9]]=>20
[[1,2,3,5,6,9,10],[4,7,8]]=>12
[[1,2,3,5,7,8,10],[4,6,9]]=>19
[[1,2,3,5,7,9,10],[4,6,8]]=>18
[[1,2,3,5,7,8,9,10],[4,6]]=>10
[[1,2,3,5,6,7,8,10],[4,9]]=>13
[[1,2,3,5,6,7,9,10],[4,8]]=>12
[[1,2,3,5,6,8,9,10],[4,7]]=>11
[[1,2,3,5,6,7,8,9,10],[4]]=>4
[[1,2,3,4,5,6,8,10],[7,9]]=>16
[[1,2,3,4,5,6,9,10],[7,8]]=>8
[[1,2,3,4,5,7,8,10],[6,9]]=>15
[[1,2,3,4,5,7,9,10],[6,8]]=>14
[[1,2,3,4,5,8,9,10],[6,7]]=>7
[[1,2,3,4,6,7,8,10],[5,9]]=>14
[[1,2,3,4,6,7,9,10],[5,8]]=>13
[[1,2,3,4,6,8,9,10],[5,7]]=>12
[[1,2,3,4,6,7,8,9,10],[5]]=>5
[[1,2,3,4,5,6,7,9,10],[8]]=>8
[[1,2,3,4,5,6,8,9,10],[7]]=>7
[[1,2,3,4,5,7,8,9,10],[6]]=>6
[[1,2,5,6,7,8,9],[3,4,10]]=>4
[[1,2,5,6,7,8,9],[3,4],[10]]=>4
[[1,4,5,6,7,8,9],[2],[3],[10]]=>3
[[1,2,3,7,8,9],[4,5,6,10]]=>6
[[1,2,3,7,8,9],[4,5,6],[10]]=>6
[[1,3,6,7,8,9],[2,5],[4,10]]=>11
[[1,3,6,7,8,9],[2,5],[4],[10]]=>11
[[1,5,6,7,8,9],[2],[3],[4],[10]]=>4
[[1,2,3,4,9],[5,6,7,8],[10]]=>8
[[1,3,4,8,9],[2,6,7],[5,10]]=>14
[[1,3,4,8,9],[2,6,7],[5],[10]]=>14
[[1,2,7,8,9],[3,4],[5,6],[10]]=>6
[[1,4,7,8,9],[2,6],[3],[5],[10]]=>14
[[1,6,7,8,9],[2],[3],[4],[5],[10]]=>5
[[1,2,5,9],[3,4,8],[6,7,10]]=>19
[[1,2,5,9],[3,4,8],[6,7],[10]]=>19
[[1,4,5,9],[2,7,8],[3],[6],[10]]=>17
[[1,3,8,9],[2,5],[4,7],[6,10]]=>19
[[1,3,8,9],[2,5],[4,7],[6],[10]]=>19
[[1,5,8,9],[2,7],[3],[4],[6],[10]]=>17
[[1,7,8,9],[2],[3],[4],[5],[6],[10]]=>6
[[1,3,6],[2,5,9],[4,8],[7,10]]=>26
[[1,3,6],[2,5,9],[4,8],[7],[10]]=>26
[[1,5,6],[2,8,9],[3],[4],[7],[10]]=>11
[[1,2,9],[3,4],[5,6],[7,8],[10]]=>8
[[1,4,9],[2,6],[3,8],[5],[7],[10]]=>23
[[1,6,9],[2,8],[3],[4],[5],[7],[10]]=>20
[[1,8,9],[2],[3],[4],[5],[6],[7],[10]]=>7
[[1,2,3,6,7,8,9,10],[4,5]]=>5
[[1,2,5,6,7,8,9,10],[3],[4]]=>4
[[1,2,3,4,8,9,10],[5,6,7]]=>7
[[1,2,4,7,8,9,10],[3,6],[5]]=>14
[[1,2,6,7,8,9,10],[3],[4],[5]]=>5
[[1,2,4,5,9,10],[3,7,8],[6]]=>17
[[1,2,3,8,9,10],[4,5],[6,7]]=>7
[[1,2,5,8,9,10],[3,7],[4],[6]]=>17
[[1,2,7,8,9,10],[3],[4],[5],[6]]=>6
[[1,2,4,5,6],[3,8,9,10],[7]]=>10
[[1,2,3,6,10],[4,5,9],[7,8]]=>22
[[1,2,5,6,10],[3,8,9],[4],[7]]=>20
[[1,2,4,9,10],[3,6],[5,8],[7]]=>23
[[1,2,6,9,10],[3,8],[4],[5],[7]]=>20
[[1,2,8,9,10],[3],[4],[5],[6],[7]]=>7
[[1,2,6,7],[3,5,9,10],[4],[8]]=>17
[[1,2,4,7],[3,6,10],[5,9],[8]]=>31
[[1,2,6,7],[3,9,10],[4],[5],[8]]=>13
[[1,2,5,10],[3,7],[4,9],[6],[8]]=>27
[[1,2,7,10],[3,9],[4],[5],[6],[8]]=>23
[[1,2,9,10],[3],[4],[5],[6],[7],[8]]=>8
[[1,2,3],[4,5,8],[6,7],[9,10]]=>7
[[1,2,5],[3,7,8],[4,10],[6],[9]]=>19
[[1,2,8],[3,7,10],[4],[5],[6],[9]]=>22
[[1,2,4],[3,6],[5,8],[7,10],[9]]=>24
[[1,2,6],[3,8],[4,10],[5],[7],[9]]=>21
[[1,2,8],[3,10],[4],[5],[6],[7],[9]]=>16
[[1,2],[3,5],[4,7],[6,9],[8],[10]]=>18
[[1,2],[3,7],[4,9],[5],[6],[8],[10]]=>14
[[1,2],[3,9],[4],[5],[6],[7],[8],[10]]=>8
[[1,2,4,5,8,9,10],[3,7],[6]]=>16
[[1,2,4,5,6,7],[3,9,10],[8]]=>11
[[1,2,3,4,9,10],[5,6],[7,8]]=>8
[[1,2,5,6,9,10],[3,8],[4],[7]]=>19
[[1,2,4,5,6,7,8,9],[3],[10]]=>3
[[1,2,3,4,7,8],[5,6],[9,10]]=>6
[[1,2,5,6,7,8],[3,10],[4],[9]]=>13
[[1,2,4,5,10],[3,7],[6,9],[8]]=>26
[[1,2,6,7,10],[3,9],[4],[5],[8]]=>22
[[1,2,4,5,8,9],[3,7],[6],[10]]=>16
[[1,2,6,7,8,9],[3],[4],[5],[10]]=>5
[[1,2,5,6],[3,8],[4,10],[7],[9]]=>20
[[1,2,7,8],[3,10],[4],[5],[6],[9]]=>15
[[1,2,4,5],[3,7],[6,9],[8],[10]]=>17
[[1,2,6,7],[3,9],[4],[5],[8],[10]]=>13
[[1,2,8,9],[3],[4],[5],[6],[7],[10]]=>7
[[1,2,3,4,5],[6,7,8,9],[10,11]]=>0
[[1,2,3,4,5],[6,7,8,9],[10],[11]]=>0
[[1,2,3,4,5],[6,7,8],[9,10,11]]=>0
[[1,2,3,4,5],[6,7,8],[9,10],[11]]=>0
[[1,2,3,4,5],[6,7,8],[9],[10],[11]]=>0
[[1,2,3,4,5],[6,7],[8,9],[10,11]]=>0
[[1,2,3,4,5],[6,7],[8,9],[10],[11]]=>0
[[1,2,3,4],[5,6,7,8],[9,10,11]]=>0
[[1,2,3,4],[5,6,7,8],[9,10],[11]]=>0
[[1,2,3,4],[5,6,7,8],[9],[10],[11]]=>0
[[1,2,3,4],[5,6,7],[8,9,10],[11]]=>0
[[1,2,3,4],[5,6,7],[8,9],[10,11]]=>0
[[1,2,3,4],[5,6,7],[8,9],[10],[11]]=>0
[[1,2,3,4],[5,6],[7,8],[9,10],[11]]=>0
[[1,2,3],[4,5,6],[7,8,9],[10,11]]=>0
[[1,2,3],[4,5,6],[7,8,9],[10],[11]]=>0
[[1,2,3],[4,5,6],[7,8],[9,10],[11]]=>0
[[1,2,5,6,11],[3,4,9,10],[7,8]]=>22
[[1,4,5,6,11],[2,8,9,10],[3],[7]]=>20
[[1,2,3,10,11],[4,5,6],[7,8,9]]=>9
[[1,3,6,10,11],[2,5,9],[4,8],[7]]=>35
[[1,5,6,10,11],[2,8,9],[3],[4],[7]]=>20
[[1,2,9,10,11],[3,4],[5,6],[7,8]]=>8
[[1,4,9,10,11],[2,6],[3,8],[5],[7]]=>23
[[1,2,3,7],[4,5,6,11],[8,9,10]]=>16
[[1,3,6,7],[2,5,10,11],[4,9],[8]]=>28
[[1,5,6,7],[2,9,10,11],[3],[4],[8]]=>12
[[1,3,4,11],[2,6,7],[5,9,10],[8]]=>25
[[1,2,7,11],[3,4,10],[5,6],[8,9]]=>25
[[1,4,7,11],[2,6,10],[3,9],[5],[8]]=>41
[[1,3,10,11],[2,5],[4,7],[6,9],[8]]=>29
[[1,2,5],[3,4,8],[6,7,11],[9,10]]=>21
[[1,4,5],[2,7,8],[3,10,11],[6],[9]]=>18
[[1,3,8],[2,5,11],[4,7],[6,10],[9]]=>38
[[1,3,5,7,9,11],[2,4,6,8,10,12]]=>30
[[1,3,5,7,9,10],[2,4,6,8,11,12]]=>20
[[1,3,5,7,8,11],[2,4,6,9,10,12]]=>22
[[1,3,5,7,8,10],[2,4,6,9,11,12]]=>21
[[1,3,5,7,8,9],[2,4,6,10,11,12]]=>12
[[1,3,5,6,9,11],[2,4,7,8,10,12]]=>24
[[1,3,5,6,9,10],[2,4,7,8,11,12]]=>14
[[1,3,5,6,8,11],[2,4,7,9,10,12]]=>23
[[1,3,5,6,8,10],[2,4,7,9,11,12]]=>22
[[1,3,5,6,8,9],[2,4,7,10,11,12]]=>13
[[1,3,5,6,7,11],[2,4,8,9,10,12]]=>16
[[1,3,5,6,7,10],[2,4,8,9,11,12]]=>15
[[1,3,5,6,7,9],[2,4,8,10,11,12]]=>14
[[1,3,5,6,7,8],[2,4,9,10,11,12]]=>6
[[1,3,4,7,9,11],[2,5,6,8,10,12]]=>26
[[1,3,4,7,9,10],[2,5,6,8,11,12]]=>16
[[1,3,4,7,8,11],[2,5,6,9,10,12]]=>18
[[1,3,4,7,8,10],[2,5,6,9,11,12]]=>17
[[1,3,4,7,8,9],[2,5,6,10,11,12]]=>8
[[1,3,4,6,9,11],[2,5,7,8,10,12]]=>25
[[1,3,4,6,9,10],[2,5,7,8,11,12]]=>15
[[1,3,4,6,8,11],[2,5,7,9,10,12]]=>24
[[1,3,4,6,8,10],[2,5,7,9,11,12]]=>23
[[1,3,4,6,8,9],[2,5,7,10,11,12]]=>14
[[1,3,4,6,7,11],[2,5,8,9,10,12]]=>17
[[1,3,4,6,7,10],[2,5,8,9,11,12]]=>16
[[1,3,4,6,7,9],[2,5,8,10,11,12]]=>15
[[1,3,4,6,7,8],[2,5,9,10,11,12]]=>7
[[1,3,4,5,9,11],[2,6,7,8,10,12]]=>20
[[1,3,4,5,9,10],[2,6,7,8,11,12]]=>10
[[1,3,4,5,8,11],[2,6,7,9,10,12]]=>19
[[1,3,4,5,8,10],[2,6,7,9,11,12]]=>18
[[1,3,4,5,8,9],[2,6,7,10,11,12]]=>9
[[1,3,4,5,7,11],[2,6,8,9,10,12]]=>18
[[1,3,4,5,7,10],[2,6,8,9,11,12]]=>17
[[1,3,4,5,7,9],[2,6,8,10,11,12]]=>16
[[1,3,4,5,7,8],[2,6,9,10,11,12]]=>8
[[1,3,4,5,6,11],[2,7,8,9,10,12]]=>12
[[1,3,4,5,6,10],[2,7,8,9,11,12]]=>11
[[1,3,4,5,6,9],[2,7,8,10,11,12]]=>10
[[1,3,4,5,6,8],[2,7,9,10,11,12]]=>9
[[1,3,4,5,6,7],[2,8,9,10,11,12]]=>2
[[1,2,5,7,9,11],[3,4,6,8,10,12]]=>28
[[1,2,5,7,9,10],[3,4,6,8,11,12]]=>18
[[1,2,5,7,8,11],[3,4,6,9,10,12]]=>20
[[1,2,5,7,8,10],[3,4,6,9,11,12]]=>19
[[1,2,5,7,8,9],[3,4,6,10,11,12]]=>10
[[1,2,5,6,9,11],[3,4,7,8,10,12]]=>22
[[1,2,5,6,9,10],[3,4,7,8,11,12]]=>12
[[1,2,5,6,8,11],[3,4,7,9,10,12]]=>21
[[1,2,5,6,8,10],[3,4,7,9,11,12]]=>20
[[1,2,5,6,8,9],[3,4,7,10,11,12]]=>11
[[1,2,5,6,7,11],[3,4,8,9,10,12]]=>14
[[1,2,5,6,7,10],[3,4,8,9,11,12]]=>13
[[1,2,5,6,7,9],[3,4,8,10,11,12]]=>12
[[1,2,5,6,7,8],[3,4,9,10,11,12]]=>4
[[1,2,4,7,9,11],[3,5,6,8,10,12]]=>27
[[1,2,4,7,9,10],[3,5,6,8,11,12]]=>17
[[1,2,4,7,8,11],[3,5,6,9,10,12]]=>19
[[1,2,4,7,8,10],[3,5,6,9,11,12]]=>18
[[1,2,4,7,8,9],[3,5,6,10,11,12]]=>9
[[1,2,4,6,9,11],[3,5,7,8,10,12]]=>26
[[1,2,4,6,9,10],[3,5,7,8,11,12]]=>16
[[1,2,4,6,8,11],[3,5,7,9,10,12]]=>25
[[1,2,4,6,8,10],[3,5,7,9,11,12]]=>24
[[1,2,4,6,8,9],[3,5,7,10,11,12]]=>15
[[1,2,4,6,7,11],[3,5,8,9,10,12]]=>18
[[1,2,4,6,7,10],[3,5,8,9,11,12]]=>17
[[1,2,4,6,7,9],[3,5,8,10,11,12]]=>16
[[1,2,4,6,7,8],[3,5,9,10,11,12]]=>8
[[1,2,4,5,9,11],[3,6,7,8,10,12]]=>21
[[1,2,4,5,9,10],[3,6,7,8,11,12]]=>11
[[1,2,4,5,8,11],[3,6,7,9,10,12]]=>20
[[1,2,4,5,8,10],[3,6,7,9,11,12]]=>19
[[1,2,4,5,8,9],[3,6,7,10,11,12]]=>10
[[1,2,4,5,7,11],[3,6,8,9,10,12]]=>19
[[1,2,4,5,7,10],[3,6,8,9,11,12]]=>18
[[1,2,4,5,7,9],[3,6,8,10,11,12]]=>17
[[1,2,4,5,7,8],[3,6,9,10,11,12]]=>9
[[1,2,4,5,6,11],[3,7,8,9,10,12]]=>13
[[1,2,4,5,6,10],[3,7,8,9,11,12]]=>12
[[1,2,4,5,6,9],[3,7,8,10,11,12]]=>11
[[1,2,4,5,6,8],[3,7,9,10,11,12]]=>10
[[1,2,4,5,6,7],[3,8,9,10,11,12]]=>3
[[1,2,3,7,9,11],[4,5,6,8,10,12]]=>24
[[1,2,3,7,9,10],[4,5,6,8,11,12]]=>14
[[1,2,3,7,8,11],[4,5,6,9,10,12]]=>16
[[1,2,3,7,8,10],[4,5,6,9,11,12]]=>15
[[1,2,3,7,8,9],[4,5,6,10,11,12]]=>6
[[1,2,3,6,9,11],[4,5,7,8,10,12]]=>23
[[1,2,3,6,9,10],[4,5,7,8,11,12]]=>13
[[1,2,3,6,8,11],[4,5,7,9,10,12]]=>22
[[1,2,3,6,8,10],[4,5,7,9,11,12]]=>21
[[1,2,3,6,8,9],[4,5,7,10,11,12]]=>12
[[1,2,3,6,7,11],[4,5,8,9,10,12]]=>15
[[1,2,3,6,7,10],[4,5,8,9,11,12]]=>14
[[1,2,3,6,7,9],[4,5,8,10,11,12]]=>13
[[1,2,3,6,7,8],[4,5,9,10,11,12]]=>5
[[1,2,3,5,9,11],[4,6,7,8,10,12]]=>22
[[1,2,3,5,9,10],[4,6,7,8,11,12]]=>12
[[1,2,3,5,8,11],[4,6,7,9,10,12]]=>21
[[1,2,3,5,8,10],[4,6,7,9,11,12]]=>20
[[1,2,3,5,8,9],[4,6,7,10,11,12]]=>11
[[1,2,3,5,7,11],[4,6,8,9,10,12]]=>20
[[1,2,3,5,7,10],[4,6,8,9,11,12]]=>19
[[1,2,3,5,7,9],[4,6,8,10,11,12]]=>18
[[1,2,3,5,7,8],[4,6,9,10,11,12]]=>10
[[1,2,3,5,6,11],[4,7,8,9,10,12]]=>14
[[1,2,3,5,6,10],[4,7,8,9,11,12]]=>13
[[1,2,3,5,6,9],[4,7,8,10,11,12]]=>12
[[1,2,3,5,6,8],[4,7,9,10,11,12]]=>11
[[1,2,3,5,6,7],[4,8,9,10,11,12]]=>4
[[1,2,3,4,9,11],[5,6,7,8,10,12]]=>18
[[1,2,3,4,9,10],[5,6,7,8,11,12]]=>8
[[1,2,3,4,8,11],[5,6,7,9,10,12]]=>17
[[1,2,3,4,8,10],[5,6,7,9,11,12]]=>16
[[1,2,3,4,8,9],[5,6,7,10,11,12]]=>7
[[1,2,3,4,7,11],[5,6,8,9,10,12]]=>16
[[1,2,3,4,7,10],[5,6,8,9,11,12]]=>15
[[1,2,3,4,7,9],[5,6,8,10,11,12]]=>14
[[1,2,3,4,7,8],[5,6,9,10,11,12]]=>6
[[1,2,3,4,6,11],[5,7,8,9,10,12]]=>15
[[1,2,3,4,6,10],[5,7,8,9,11,12]]=>14
[[1,2,3,4,6,9],[5,7,8,10,11,12]]=>13
[[1,2,3,4,6,8],[5,7,9,10,11,12]]=>12
[[1,2,3,4,6,7],[5,8,9,10,11,12]]=>5
[[1,2,3,4,5,11],[6,7,8,9,10,12]]=>10
[[1,2,3,4,5,10],[6,7,8,9,11,12]]=>9
[[1,2,3,4,5,9],[6,7,8,10,11,12]]=>8
[[1,2,3,4,5,8],[6,7,9,10,11,12]]=>7
[[1,2,3,4,5,7],[6,8,9,10,11,12]]=>6
[[1,2,3,4,5,6],[7,8,9,10,11,12]]=>0
[[1,2,3,4,5,6,7,8,9,10,11,12]]=>0
[[1,2,3,4,5,6],[7,8,9,10],[11,12]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11,12]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11],[12]]=>0
[[1,2,3,4,5],[6,7,8,9],[10],[11],[12]]=>0
[[1,2,3,4,5],[6,7,8],[9,10,11],[12]]=>0
[[1,2,3,4,5],[6,7,8],[9,10],[11,12]]=>0
[[1,2,3,4,5],[6,7,8],[9,10],[11],[12]]=>0
[[1,2,3,4,5],[6,7],[8,9],[10,11],[12]]=>0
[[1,2,3,4],[5,6,7,8],[9,10,11],[12]]=>0
[[1,2,3,4],[5,6,7,8],[9,10],[11,12]]=>0
[[1,2,3,4],[5,6,7,8],[9,10],[11],[12]]=>0
[[1,2,3,4],[5,6,7],[8,9,10],[11,12]]=>0
[[1,2,3,4],[5,6,7],[8,9,10],[11],[12]]=>0
[[1,2,3,4],[5,6,7],[8,9],[10,11],[12]]=>0
[[1,2,3],[4,5,6],[7,8,9],[10,11],[12]]=>0
[[1,2,3],[4,5,6],[7,8],[9,10],[11],[12]]=>0
[[1,2],[3,4],[5,6],[7,8],[9,10],[11,12]]=>0
[[1,2,5,6,11,12],[3,4,9,10],[7,8]]=>22
[[1,2,3,7,12],[4,5,6,11],[8,9,10]]=>27
[[1,3,6,7,12],[2,5,10,11],[4,9],[8]]=>39
[[1,5,6,7,12],[2,9,10,11],[3],[4],[8]]=>23
[[1,3,4,11,12],[2,6,7],[5,9,10],[8]]=>25
[[1,2,7,11,12],[3,4,10],[5,6],[8,9]]=>25
[[1,4,7,11,12],[2,6,10],[3,9],[5],[8]]=>41
[[1,3,10,11,12],[2,5],[4,7],[6,9],[8]]=>29
[[1,3,4,8],[2,6,7,12],[5,10,11],[9]]=>34
[[1,2,7,8],[3,4,11,12],[5,6],[9,10]]=>16
[[1,4,7,8],[2,6,11,12],[3,10],[5],[9]]=>33
[[1,2,5,12],[3,4,8],[6,7,11],[9,10]]=>32
[[1,4,5,12],[2,7,8],[3,10,11],[6],[9]]=>29
[[1,3,8,12],[2,5,11],[4,7],[6,10],[9]]=>49
[[1,3,6],[2,5,9],[4,8,12],[7,11],[10]]=>47
[[1,4,9],[2,6,12],[3,8],[5,11],[7],[10]]=>44
[[1,2],[3,4],[5,6],[7,8],[9,11],[10,12]]=>10
[[1,2],[3,4],[5,6],[7,9],[8,10],[11,12]]=>8
[[1,2],[3,4],[5,6],[7,9],[8,11],[10,12]]=>18
[[1,2],[3,4],[5,6],[7,10],[8,11],[9,12]]=>9
[[1,2],[3,4],[5,7],[6,8],[9,10],[11,12]]=>6
[[1,2],[3,4],[5,7],[6,8],[9,11],[10,12]]=>16
[[1,2],[3,4],[5,7],[6,9],[8,10],[11,12]]=>14
[[1,2],[3,4],[5,7],[6,9],[8,11],[10,12]]=>24
[[1,2],[3,4],[5,7],[6,10],[8,11],[9,12]]=>15
[[1,2],[3,4],[5,8],[6,9],[7,10],[11,12]]=>7
[[1,2],[3,4],[5,8],[6,9],[7,11],[10,12]]=>17
[[1,2],[3,4],[5,8],[6,10],[7,11],[9,12]]=>16
[[1,2],[3,4],[5,9],[6,10],[7,11],[8,12]]=>8
[[1,2],[3,5],[4,6],[7,8],[9,10],[11,12]]=>4
[[1,2],[3,5],[4,6],[7,8],[9,11],[10,12]]=>14
[[1,2],[3,5],[4,6],[7,9],[8,10],[11,12]]=>12
[[1,2],[3,5],[4,6],[7,9],[8,11],[10,12]]=>22
[[1,2],[3,5],[4,6],[7,10],[8,11],[9,12]]=>13
[[1,2],[3,5],[4,7],[6,8],[9,10],[11,12]]=>10
[[1,2],[3,5],[4,7],[6,8],[9,11],[10,12]]=>20
[[1,2],[3,5],[4,7],[6,9],[8,10],[11,12]]=>18
[[1,2],[3,5],[4,7],[6,9],[8,11],[10,12]]=>28
[[1,2],[3,5],[4,7],[6,10],[8,11],[9,12]]=>19
[[1,2],[3,5],[4,8],[6,9],[7,10],[11,12]]=>11
[[1,2],[3,5],[4,8],[6,9],[7,11],[10,12]]=>21
[[1,2],[3,5],[4,8],[6,10],[7,11],[9,12]]=>20
[[1,2],[3,5],[4,9],[6,10],[7,11],[8,12]]=>12
[[1,2],[3,6],[4,7],[5,8],[9,10],[11,12]]=>5
[[1,2],[3,6],[4,7],[5,8],[9,11],[10,12]]=>15
[[1,2],[3,6],[4,7],[5,9],[8,10],[11,12]]=>13
[[1,2],[3,6],[4,7],[5,9],[8,11],[10,12]]=>23
[[1,2],[3,6],[4,7],[5,10],[8,11],[9,12]]=>14
[[1,2],[3,6],[4,8],[5,9],[7,10],[11,12]]=>12
[[1,2],[3,6],[4,8],[5,9],[7,11],[10,12]]=>22
[[1,2],[3,6],[4,8],[5,10],[7,11],[9,12]]=>21
[[1,2],[3,6],[4,9],[5,10],[7,11],[8,12]]=>13
[[1,2],[3,7],[4,8],[5,9],[6,10],[11,12]]=>6
[[1,2],[3,7],[4,8],[5,9],[6,11],[10,12]]=>16
[[1,2],[3,7],[4,8],[5,10],[6,11],[9,12]]=>15
[[1,2],[3,7],[4,9],[5,10],[6,11],[8,12]]=>14
[[1,2],[3,8],[4,9],[5,10],[6,11],[7,12]]=>7
[[1,3],[2,4],[5,6],[7,8],[9,10],[11,12]]=>2
[[1,3],[2,4],[5,6],[7,8],[9,11],[10,12]]=>12
[[1,3],[2,4],[5,6],[7,9],[8,10],[11,12]]=>10
[[1,3],[2,4],[5,6],[7,9],[8,11],[10,12]]=>20
[[1,3],[2,4],[5,6],[7,10],[8,11],[9,12]]=>11
[[1,3],[2,4],[5,7],[6,8],[9,10],[11,12]]=>8
[[1,3],[2,4],[5,7],[6,8],[9,11],[10,12]]=>18
[[1,3],[2,4],[5,7],[6,9],[8,10],[11,12]]=>16
[[1,3],[2,4],[5,7],[6,9],[8,11],[10,12]]=>26
[[1,3],[2,4],[5,7],[6,10],[8,11],[9,12]]=>17
[[1,3],[2,4],[5,8],[6,9],[7,10],[11,12]]=>9
[[1,3],[2,4],[5,8],[6,9],[7,11],[10,12]]=>19
[[1,3],[2,4],[5,8],[6,10],[7,11],[9,12]]=>18
[[1,3],[2,4],[5,9],[6,10],[7,11],[8,12]]=>10
[[1,3],[2,5],[4,6],[7,8],[9,10],[11,12]]=>6
[[1,3],[2,5],[4,6],[7,8],[9,11],[10,12]]=>16
[[1,3],[2,5],[4,6],[7,9],[8,10],[11,12]]=>14
[[1,3],[2,5],[4,6],[7,9],[8,11],[10,12]]=>24
[[1,3],[2,5],[4,6],[7,10],[8,11],[9,12]]=>15
[[1,3],[2,5],[4,7],[6,8],[9,10],[11,12]]=>12
[[1,3],[2,5],[4,7],[6,8],[9,11],[10,12]]=>22
[[1,3],[2,5],[4,7],[6,9],[8,10],[11,12]]=>20
[[1,3],[2,5],[4,7],[6,9],[8,11],[10,12]]=>30
[[1,3],[2,5],[4,7],[6,10],[8,11],[9,12]]=>21
[[1,3],[2,5],[4,8],[6,9],[7,10],[11,12]]=>13
[[1,3],[2,5],[4,8],[6,9],[7,11],[10,12]]=>23
[[1,3],[2,5],[4,8],[6,10],[7,11],[9,12]]=>22
[[1,3],[2,5],[4,9],[6,10],[7,11],[8,12]]=>14
[[1,3],[2,6],[4,7],[5,8],[9,10],[11,12]]=>7
[[1,3],[2,6],[4,7],[5,8],[9,11],[10,12]]=>17
[[1,3],[2,6],[4,7],[5,9],[8,10],[11,12]]=>15
[[1,3],[2,6],[4,7],[5,9],[8,11],[10,12]]=>25
[[1,3],[2,6],[4,7],[5,10],[8,11],[9,12]]=>16
[[1,3],[2,6],[4,8],[5,9],[7,10],[11,12]]=>14
[[1,3],[2,6],[4,8],[5,9],[7,11],[10,12]]=>24
[[1,3],[2,6],[4,8],[5,10],[7,11],[9,12]]=>23
[[1,3],[2,6],[4,9],[5,10],[7,11],[8,12]]=>15
[[1,3],[2,7],[4,8],[5,9],[6,10],[11,12]]=>8
[[1,3],[2,7],[4,8],[5,9],[6,11],[10,12]]=>18
[[1,3],[2,7],[4,8],[5,10],[6,11],[9,12]]=>17
[[1,3],[2,7],[4,9],[5,10],[6,11],[8,12]]=>16
[[1,3],[2,8],[4,9],[5,10],[6,11],[7,12]]=>9
[[1,4],[2,5],[3,6],[7,8],[9,10],[11,12]]=>3
[[1,4],[2,5],[3,6],[7,8],[9,11],[10,12]]=>13
[[1,4],[2,5],[3,6],[7,9],[8,10],[11,12]]=>11
[[1,4],[2,5],[3,6],[7,9],[8,11],[10,12]]=>21
[[1,4],[2,5],[3,6],[7,10],[8,11],[9,12]]=>12
[[1,4],[2,5],[3,7],[6,8],[9,10],[11,12]]=>9
[[1,4],[2,5],[3,7],[6,8],[9,11],[10,12]]=>19
[[1,4],[2,5],[3,7],[6,9],[8,10],[11,12]]=>17
[[1,4],[2,5],[3,7],[6,9],[8,11],[10,12]]=>27
[[1,4],[2,5],[3,7],[6,10],[8,11],[9,12]]=>18
[[1,4],[2,5],[3,8],[6,9],[7,10],[11,12]]=>10
[[1,4],[2,5],[3,8],[6,9],[7,11],[10,12]]=>20
[[1,4],[2,5],[3,8],[6,10],[7,11],[9,12]]=>19
[[1,4],[2,5],[3,9],[6,10],[7,11],[8,12]]=>11
[[1,4],[2,6],[3,7],[5,8],[9,10],[11,12]]=>8
[[1,4],[2,6],[3,7],[5,8],[9,11],[10,12]]=>18
[[1,4],[2,6],[3,7],[5,9],[8,10],[11,12]]=>16
[[1,4],[2,6],[3,7],[5,9],[8,11],[10,12]]=>26
[[1,4],[2,6],[3,7],[5,10],[8,11],[9,12]]=>17
[[1,4],[2,6],[3,8],[5,9],[7,10],[11,12]]=>15
[[1,4],[2,6],[3,8],[5,9],[7,11],[10,12]]=>25
[[1,4],[2,6],[3,8],[5,10],[7,11],[9,12]]=>24
[[1,4],[2,6],[3,9],[5,10],[7,11],[8,12]]=>16
[[1,4],[2,7],[3,8],[5,9],[6,10],[11,12]]=>9
[[1,4],[2,7],[3,8],[5,9],[6,11],[10,12]]=>19
[[1,4],[2,7],[3,8],[5,10],[6,11],[9,12]]=>18
[[1,4],[2,7],[3,9],[5,10],[6,11],[8,12]]=>17
[[1,4],[2,8],[3,9],[5,10],[6,11],[7,12]]=>10
[[1,5],[2,6],[3,7],[4,8],[9,10],[11,12]]=>4
[[1,5],[2,6],[3,7],[4,8],[9,11],[10,12]]=>14
[[1,5],[2,6],[3,7],[4,9],[8,10],[11,12]]=>12
[[1,5],[2,6],[3,7],[4,9],[8,11],[10,12]]=>22
[[1,5],[2,6],[3,7],[4,10],[8,11],[9,12]]=>13
[[1,5],[2,6],[3,8],[4,9],[7,10],[11,12]]=>11
[[1,5],[2,6],[3,8],[4,9],[7,11],[10,12]]=>21
[[1,5],[2,6],[3,8],[4,10],[7,11],[9,12]]=>20
[[1,5],[2,6],[3,9],[4,10],[7,11],[8,12]]=>12
[[1,5],[2,7],[3,8],[4,9],[6,10],[11,12]]=>10
[[1,5],[2,7],[3,8],[4,9],[6,11],[10,12]]=>20
[[1,5],[2,7],[3,8],[4,10],[6,11],[9,12]]=>19
[[1,5],[2,7],[3,9],[4,10],[6,11],[8,12]]=>18
[[1,5],[2,8],[3,9],[4,10],[6,11],[7,12]]=>11
[[1,6],[2,7],[3,8],[4,9],[5,10],[11,12]]=>5
[[1,6],[2,7],[3,8],[4,9],[5,11],[10,12]]=>15
[[1,6],[2,7],[3,8],[4,10],[5,11],[9,12]]=>14
[[1,6],[2,7],[3,9],[4,10],[5,11],[8,12]]=>13
[[1,6],[2,8],[3,9],[4,10],[5,11],[7,12]]=>12
[[1,7],[2,8],[3,9],[4,10],[5,11],[6,12]]=>6
[[1,2,4,6,8,10,12],[3,5,7,9,11]]=>35
[[1,2,4,6,8,10,11,12],[3,5,7,9]]=>24
[[1,2,4,6,8,9,10,12],[3,5,7,11]]=>26
[[1,2,4,6,8,9,11,12],[3,5,7,10]]=>25
[[1,2,4,6,8,9,10,11,12],[3,5,7]]=>15
[[1,2,4,6,7,8,10,12],[3,5,9,11]]=>28
[[1,2,4,6,7,8,11,12],[3,5,9,10]]=>18
[[1,2,4,6,7,9,10,12],[3,5,8,11]]=>27
[[1,2,4,6,7,9,11,12],[3,5,8,10]]=>26
[[1,2,4,6,7,9,10,11,12],[3,5,8]]=>16
[[1,2,4,6,7,8,9,10,12],[3,5,11]]=>19
[[1,2,4,6,7,8,9,11,12],[3,5,10]]=>18
[[1,2,4,6,7,8,10,11,12],[3,5,9]]=>17
[[1,2,4,6,7,8,9,10,11,12],[3,5]]=>8
[[1,2,4,5,6,8,10,12],[3,7,9,11]]=>30
[[1,2,4,5,6,8,11,12],[3,7,9,10]]=>20
[[1,2,4,5,6,9,10,12],[3,7,8,11]]=>22
[[1,2,4,5,6,9,11,12],[3,7,8,10]]=>21
[[1,2,4,5,6,9,10,11,12],[3,7,8]]=>11
[[1,2,4,5,7,8,10,12],[3,6,9,11]]=>29
[[1,2,4,5,7,8,11,12],[3,6,9,10]]=>19
[[1,2,4,5,7,9,10,12],[3,6,8,11]]=>28
[[1,2,4,5,7,9,11,12],[3,6,8,10]]=>27
[[1,2,4,5,7,9,10,11,12],[3,6,8]]=>17
[[1,2,4,5,7,8,9,10,12],[3,6,11]]=>20
[[1,2,4,5,7,8,9,11,12],[3,6,10]]=>19
[[1,2,4,5,7,8,10,11,12],[3,6,9]]=>18
[[1,2,4,5,7,8,9,10,11,12],[3,6]]=>9
[[1,2,4,5,6,7,8,10,12],[3,9,11]]=>23
[[1,2,4,5,6,7,8,11,12],[3,9,10]]=>13
[[1,2,4,5,6,7,9,10,12],[3,8,11]]=>22
[[1,2,4,5,6,7,9,11,12],[3,8,10]]=>21
[[1,2,4,5,6,7,10,11,12],[3,8,9]]=>12
[[1,2,4,5,6,8,9,10,12],[3,7,11]]=>21
[[1,2,4,5,6,8,9,11,12],[3,7,10]]=>20
[[1,2,4,5,6,8,10,11,12],[3,7,9]]=>19
[[1,2,4,5,6,8,9,10,11,12],[3,7]]=>10
[[1,2,4,5,6,7,8,9,10,12],[3,11]]=>14
[[1,2,4,5,6,7,8,9,11,12],[3,10]]=>13
[[1,2,4,5,6,7,8,10,11,12],[3,9]]=>12
[[1,2,4,5,6,7,9,10,11,12],[3,8]]=>11
[[1,2,4,5,6,7,8,9,10,11,12],[3]]=>3
[[1,2,3,4,6,8,10,12],[5,7,9,11]]=>32
[[1,2,3,4,6,8,11,12],[5,7,9,10]]=>22
[[1,2,3,4,6,9,10,12],[5,7,8,11]]=>24
[[1,2,3,4,6,9,11,12],[5,7,8,10]]=>23
[[1,2,3,4,6,9,10,11,12],[5,7,8]]=>13
[[1,2,3,4,7,8,10,12],[5,6,9,11]]=>26
[[1,2,3,4,7,8,11,12],[5,6,9,10]]=>16
[[1,2,3,4,7,9,10,12],[5,6,8,11]]=>25
[[1,2,3,4,7,9,11,12],[5,6,8,10]]=>24
[[1,2,3,4,7,9,10,11,12],[5,6,8]]=>14
[[1,2,3,4,7,8,9,10,12],[5,6,11]]=>17
[[1,2,3,4,7,8,9,11,12],[5,6,10]]=>16
[[1,2,3,4,7,8,10,11,12],[5,6,9]]=>15
[[1,2,3,4,7,8,9,10,11,12],[5,6]]=>6
[[1,2,3,5,6,8,10,12],[4,7,9,11]]=>31
[[1,2,3,5,6,8,11,12],[4,7,9,10]]=>21
[[1,2,3,5,6,9,10,12],[4,7,8,11]]=>23
[[1,2,3,5,6,9,11,12],[4,7,8,10]]=>22
[[1,2,3,5,6,9,10,11,12],[4,7,8]]=>12
[[1,2,3,5,7,8,10,12],[4,6,9,11]]=>30
[[1,2,3,5,7,8,11,12],[4,6,9,10]]=>20
[[1,2,3,5,7,9,10,12],[4,6,8,11]]=>29
[[1,2,3,5,7,9,11,12],[4,6,8,10]]=>28
[[1,2,3,5,7,9,10,11,12],[4,6,8]]=>18
[[1,2,3,5,7,8,9,10,12],[4,6,11]]=>21
[[1,2,3,5,7,8,9,11,12],[4,6,10]]=>20
[[1,2,3,5,7,8,10,11,12],[4,6,9]]=>19
[[1,2,3,5,7,8,9,10,11,12],[4,6]]=>10
[[1,2,3,5,6,7,8,10,12],[4,9,11]]=>24
[[1,2,3,5,6,7,8,11,12],[4,9,10]]=>14
[[1,2,3,5,6,7,9,10,12],[4,8,11]]=>23
[[1,2,3,5,6,7,9,11,12],[4,8,10]]=>22
[[1,2,3,5,6,7,10,11,12],[4,8,9]]=>13
[[1,2,3,5,6,8,9,10,12],[4,7,11]]=>22
[[1,2,3,5,6,8,9,11,12],[4,7,10]]=>21
[[1,2,3,5,6,8,10,11,12],[4,7,9]]=>20
[[1,2,3,5,6,8,9,10,11,12],[4,7]]=>11
[[1,2,3,5,6,7,8,9,10,12],[4,11]]=>15
[[1,2,3,5,6,7,8,9,11,12],[4,10]]=>14
[[1,2,3,5,6,7,8,10,11,12],[4,9]]=>13
[[1,2,3,5,6,7,9,10,11,12],[4,8]]=>12
[[1,2,3,5,6,7,8,9,10,11,12],[4]]=>4
[[1,2,3,4,5,6,8,10,12],[7,9,11]]=>27
[[1,2,3,4,5,6,8,11,12],[7,9,10]]=>17
[[1,2,3,4,5,6,9,10,12],[7,8,11]]=>19
[[1,2,3,4,5,6,9,11,12],[7,8,10]]=>18
[[1,2,3,4,5,6,10,11,12],[7,8,9]]=>9
[[1,2,3,4,5,7,8,10,12],[6,9,11]]=>26
[[1,2,3,4,5,7,8,11,12],[6,9,10]]=>16
[[1,2,3,4,5,7,9,10,12],[6,8,11]]=>25
[[1,2,3,4,5,7,9,11,12],[6,8,10]]=>24
[[1,2,3,4,5,7,10,11,12],[6,8,9]]=>15
[[1,2,3,4,5,8,9,10,12],[6,7,11]]=>18
[[1,2,3,4,5,8,9,11,12],[6,7,10]]=>17
[[1,2,3,4,5,8,10,11,12],[6,7,9]]=>16
[[1,2,3,4,5,8,9,10,11,12],[6,7]]=>7
[[1,2,3,4,6,7,8,10,12],[5,9,11]]=>25
[[1,2,3,4,6,7,8,11,12],[5,9,10]]=>15
[[1,2,3,4,6,7,9,10,12],[5,8,11]]=>24
[[1,2,3,4,6,7,9,11,12],[5,8,10]]=>23
[[1,2,3,4,6,7,10,11,12],[5,8,9]]=>14
[[1,2,3,4,6,8,9,10,12],[5,7,11]]=>23
[[1,2,3,4,6,8,9,11,12],[5,7,10]]=>22
[[1,2,3,4,6,8,10,11,12],[5,7,9]]=>21
[[1,2,3,4,6,8,9,10,11,12],[5,7]]=>12
[[1,2,3,4,6,7,8,9,10,12],[5,11]]=>16
[[1,2,3,4,6,7,8,9,11,12],[5,10]]=>15
[[1,2,3,4,6,7,8,10,11,12],[5,9]]=>14
[[1,2,3,4,6,7,9,10,11,12],[5,8]]=>13
[[1,2,3,4,6,7,8,9,10,11,12],[5]]=>5
[[1,2,3,4,5,6,7,8,10,12],[9,11]]=>20
[[1,2,3,4,5,6,7,8,11,12],[9,10]]=>10
[[1,2,3,4,5,6,7,9,10,12],[8,11]]=>19
[[1,2,3,4,5,6,7,9,11,12],[8,10]]=>18
[[1,2,3,4,5,6,7,10,11,12],[8,9]]=>9
[[1,2,3,4,5,6,8,9,10,12],[7,11]]=>18
[[1,2,3,4,5,6,8,9,11,12],[7,10]]=>17
[[1,2,3,4,5,6,8,10,11,12],[7,9]]=>16
[[1,2,3,4,5,6,9,10,11,12],[7,8]]=>8
[[1,2,3,4,5,7,8,9,10,12],[6,11]]=>17
[[1,2,3,4,5,7,8,9,11,12],[6,10]]=>16
[[1,2,3,4,5,7,8,10,11,12],[6,9]]=>15
[[1,2,3,4,5,7,9,10,11,12],[6,8]]=>14
[[1,2,3,4,5,7,8,9,10,11,12],[6]]=>6
[[1,2,3,4,5,6,7,8,9,10,12],[11]]=>11
[[1,2,3,4,5,6,7,8,9,11,12],[10]]=>10
[[1,2,3,4,5,6,7,8,10,11,12],[9]]=>9
[[1,2,3,4,5,6,7,9,10,11,12],[8]]=>8
[[1,2,3,4,5,6,8,9,10,11,12],[7]]=>7
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11],[12,13]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11],[12],[13]]=>0
[[1,2,3,4,5],[6,7,8],[9,10,11],[12,13]]=>0
[[1,2,3,4,5],[6,7,8],[9,10,11],[12],[13]]=>0
[[1,2,3,4,5],[6,7,8],[9,10],[11,12],[13]]=>0
[[1,2,3,4],[5,6,7,8],[9,10,11],[12,13]]=>0
[[1,2,3,4],[5,6,7,8],[9,10,11],[12],[13]]=>0
[[1,2,3,4],[5,6,7,8],[9,10],[11,12],[13]]=>0
[[1,2,3,4],[5,6,7],[8,9,10],[11,12],[13]]=>0
[[1,3,4,8,13],[2,6,7,12],[5,10,11],[9]]=>46
[[1,2,7,8,13],[3,4,11,12],[5,6],[9,10]]=>28
[[1,4,7,8,13],[2,6,11,12],[3,10],[5],[9]]=>45
[[1,2,5,12,13],[3,4,8],[6,7,11],[9,10]]=>32
[[1,4,5,12,13],[2,7,8],[3,10,11],[6],[9]]=>29
[[1,3,8,12,13],[2,5,11],[4,7],[6,10],[9]]=>49
[[1,2,5,9],[3,4,8,13],[6,7,12],[10,11]]=>42
[[1,4,5,9],[2,7,8,13],[3,11,12],[6],[10]]=>39
[[1,3,8,9],[2,5,12,13],[4,7],[6,11],[10]]=>40
[[1,3,6,13],[2,5,9],[4,8,12],[7,11],[10]]=>59
[[1,3,4,6,7,8,9],[2,5,10,11,12,13,14]]=>7
[[1,3,4,5,7,8,10],[2,6,9,11,12,13,14]]=>17
[[1,3,4,5,7,8,9],[2,6,10,11,12,13,14]]=>8
[[1,3,4,5,6,9,10],[2,7,8,11,12,13,14]]=>10
[[1,3,4,5,6,8,11],[2,7,9,10,12,13,14]]=>19
[[1,3,4,5,6,8,10],[2,7,9,11,12,13,14]]=>18
[[1,3,4,5,6,8,9],[2,7,10,11,12,13,14]]=>9
[[1,3,4,5,6,7,12],[2,8,9,10,11,13,14]]=>13
[[1,3,4,5,6,7,11],[2,8,9,10,12,13,14]]=>12
[[1,3,4,5,6,7,10],[2,8,9,11,12,13,14]]=>11
[[1,3,4,5,6,7,9],[2,8,10,11,12,13,14]]=>10
[[1,3,4,5,6,7,8],[2,9,10,11,12,13,14]]=>2
[[1,2,5,6,7,8,9],[3,4,10,11,12,13,14]]=>4
[[1,2,4,6,8,10,12],[3,5,7,9,11,13,14]]=>35
[[1,2,4,6,8,10,11],[3,5,7,9,12,13,14]]=>24
[[1,2,4,6,8,9,12],[3,5,7,10,11,13,14]]=>26
[[1,2,4,6,8,9,11],[3,5,7,10,12,13,14]]=>25
[[1,2,4,6,8,9,10],[3,5,7,11,12,13,14]]=>15
[[1,2,4,6,7,10,12],[3,5,8,9,11,13,14]]=>28
[[1,2,4,6,7,10,11],[3,5,8,9,12,13,14]]=>17
[[1,2,4,6,7,9,12],[3,5,8,10,11,13,14]]=>27
[[1,2,4,6,7,9,11],[3,5,8,10,12,13,14]]=>26
[[1,2,4,6,7,9,10],[3,5,8,11,12,13,14]]=>16
[[1,2,4,6,7,8,12],[3,5,9,10,11,13,14]]=>19
[[1,2,4,6,7,8,11],[3,5,9,10,12,13,14]]=>18
[[1,2,4,6,7,8,10],[3,5,9,11,12,13,14]]=>17
[[1,2,4,6,7,8,9],[3,5,10,11,12,13,14]]=>8
[[1,2,4,5,8,10,12],[3,6,7,9,11,13,14]]=>30
[[1,2,4,5,8,10,11],[3,6,7,9,12,13,14]]=>19
[[1,2,4,5,8,9,12],[3,6,7,10,11,13,14]]=>21
[[1,2,4,5,8,9,11],[3,6,7,10,12,13,14]]=>20
[[1,2,4,5,8,9,10],[3,6,7,11,12,13,14]]=>10
[[1,2,4,5,7,10,12],[3,6,8,9,11,13,14]]=>29
[[1,2,4,5,7,10,11],[3,6,8,9,12,13,14]]=>18
[[1,2,4,5,7,9,12],[3,6,8,10,11,13,14]]=>28
[[1,2,4,5,7,9,11],[3,6,8,10,12,13,14]]=>27
[[1,2,4,5,7,9,10],[3,6,8,11,12,13,14]]=>17
[[1,2,4,5,7,8,12],[3,6,9,10,11,13,14]]=>20
[[1,2,4,5,7,8,11],[3,6,9,10,12,13,14]]=>19
[[1,2,4,5,7,8,10],[3,6,9,11,12,13,14]]=>18
[[1,2,4,5,7,8,9],[3,6,10,11,12,13,14]]=>9
[[1,2,4,5,6,10,12],[3,7,8,9,11,13,14]]=>23
[[1,2,4,5,6,10,11],[3,7,8,9,12,13,14]]=>12
[[1,2,4,5,6,9,12],[3,7,8,10,11,13,14]]=>22
[[1,2,4,5,6,9,11],[3,7,8,10,12,13,14]]=>21
[[1,2,4,5,6,9,10],[3,7,8,11,12,13,14]]=>11
[[1,2,4,5,6,8,12],[3,7,9,10,11,13,14]]=>21
[[1,2,4,5,6,8,11],[3,7,9,10,12,13,14]]=>20
[[1,2,4,5,6,8,10],[3,7,9,11,12,13,14]]=>19
[[1,2,4,5,6,8,9],[3,7,10,11,12,13,14]]=>10
[[1,2,4,5,6,7,13],[3,8,9,10,11,12,14]]=>15
[[1,2,4,5,6,7,12],[3,8,9,10,11,13,14]]=>14
[[1,2,4,5,6,7,11],[3,8,9,10,12,13,14]]=>13
[[1,2,4,5,6,7,10],[3,8,9,11,12,13,14]]=>12
[[1,2,4,5,6,7,9],[3,8,10,11,12,13,14]]=>11
[[1,2,4,5,6,7,8],[3,9,10,11,12,13,14]]=>3
[[1,2,3,6,8,10,12],[4,5,7,9,11,13,14]]=>32
[[1,2,3,6,8,10,11],[4,5,7,9,12,13,14]]=>21
[[1,2,3,6,8,9,12],[4,5,7,10,11,13,14]]=>23
[[1,2,3,6,8,9,11],[4,5,7,10,12,13,14]]=>22
[[1,2,3,6,8,9,10],[4,5,7,11,12,13,14]]=>12
[[1,2,3,6,7,10,12],[4,5,8,9,11,13,14]]=>25
[[1,2,3,6,7,10,11],[4,5,8,9,12,13,14]]=>14
[[1,2,3,6,7,9,12],[4,5,8,10,11,13,14]]=>24
[[1,2,3,6,7,9,11],[4,5,8,10,12,13,14]]=>23
[[1,2,3,6,7,9,10],[4,5,8,11,12,13,14]]=>13
[[1,2,3,6,7,8,12],[4,5,9,10,11,13,14]]=>16
[[1,2,3,6,7,8,11],[4,5,9,10,12,13,14]]=>15
[[1,2,3,6,7,8,10],[4,5,9,11,12,13,14]]=>14
[[1,2,3,6,7,8,9],[4,5,10,11,12,13,14]]=>5
[[1,2,3,5,8,10,12],[4,6,7,9,11,13,14]]=>31
[[1,2,3,5,8,10,11],[4,6,7,9,12,13,14]]=>20
[[1,2,3,5,8,9,12],[4,6,7,10,11,13,14]]=>22
[[1,2,3,5,8,9,11],[4,6,7,10,12,13,14]]=>21
[[1,2,3,5,8,9,10],[4,6,7,11,12,13,14]]=>11
[[1,2,3,5,7,10,12],[4,6,8,9,11,13,14]]=>30
[[1,2,3,5,7,10,11],[4,6,8,9,12,13,14]]=>19
[[1,2,3,5,7,9,12],[4,6,8,10,11,13,14]]=>29
[[1,2,3,5,7,9,11],[4,6,8,10,12,13,14]]=>28
[[1,2,3,5,7,9,10],[4,6,8,11,12,13,14]]=>18
[[1,2,3,5,7,8,12],[4,6,9,10,11,13,14]]=>21
[[1,2,3,5,7,8,11],[4,6,9,10,12,13,14]]=>20
[[1,2,3,5,7,8,10],[4,6,9,11,12,13,14]]=>19
[[1,2,3,5,7,8,9],[4,6,10,11,12,13,14]]=>10
[[1,2,3,5,6,10,12],[4,7,8,9,11,13,14]]=>24
[[1,2,3,5,6,10,11],[4,7,8,9,12,13,14]]=>13
[[1,2,3,5,6,9,12],[4,7,8,10,11,13,14]]=>23
[[1,2,3,5,6,9,11],[4,7,8,10,12,13,14]]=>22
[[1,2,3,5,6,9,10],[4,7,8,11,12,13,14]]=>12
[[1,2,3,5,6,8,13],[4,7,9,10,11,12,14]]=>23
[[1,2,3,5,6,8,12],[4,7,9,10,11,13,14]]=>22
[[1,2,3,5,6,8,11],[4,7,9,10,12,13,14]]=>21
[[1,2,3,5,6,8,10],[4,7,9,11,12,13,14]]=>20
[[1,2,3,5,6,8,9],[4,7,10,11,12,13,14]]=>11
[[1,2,3,5,6,7,13],[4,8,9,10,11,12,14]]=>16
[[1,2,3,5,6,7,12],[4,8,9,10,11,13,14]]=>15
[[1,2,3,5,6,7,11],[4,8,9,10,12,13,14]]=>14
[[1,2,3,5,6,7,10],[4,8,9,11,12,13,14]]=>13
[[1,2,3,5,6,7,9],[4,8,10,11,12,13,14]]=>12
[[1,2,3,5,6,7,8],[4,9,10,11,12,13,14]]=>4
[[1,2,3,4,8,10,12],[5,6,7,9,11,13,14]]=>27
[[1,2,3,4,8,10,11],[5,6,7,9,12,13,14]]=>16
[[1,2,3,4,8,9,12],[5,6,7,10,11,13,14]]=>18
[[1,2,3,4,8,9,11],[5,6,7,10,12,13,14]]=>17
[[1,2,3,4,8,9,10],[5,6,7,11,12,13,14]]=>7
[[1,2,3,4,7,10,12],[5,6,8,9,11,13,14]]=>26
[[1,2,3,4,7,10,11],[5,6,8,9,12,13,14]]=>15
[[1,2,3,4,7,9,12],[5,6,8,10,11,13,14]]=>25
[[1,2,3,4,7,9,11],[5,6,8,10,12,13,14]]=>24
[[1,2,3,4,7,9,10],[5,6,8,11,12,13,14]]=>14
[[1,2,3,4,7,8,13],[5,6,9,10,11,12,14]]=>18
[[1,2,3,4,7,8,12],[5,6,9,10,11,13,14]]=>17
[[1,2,3,4,7,8,11],[5,6,9,10,12,13,14]]=>16
[[1,2,3,4,7,8,10],[5,6,9,11,12,13,14]]=>15
[[1,2,3,4,7,8,9],[5,6,10,11,12,13,14]]=>6
[[1,2,3,4,6,10,12],[5,7,8,9,11,13,14]]=>25
[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]]=>14
[[1,2,3,4,6,9,13],[5,7,8,10,11,12,14]]=>25
[[1,2,3,4,6,9,12],[5,7,8,10,11,13,14]]=>24
[[1,2,3,4,6,9,11],[5,7,8,10,12,13,14]]=>23
[[1,2,3,4,6,9,10],[5,7,8,11,12,13,14]]=>13
[[1,2,3,4,6,8,13],[5,7,9,10,11,12,14]]=>24
[[1,2,3,4,6,8,12],[5,7,9,10,11,13,14]]=>23
[[1,2,3,4,6,8,11],[5,7,9,10,12,13,14]]=>22
[[1,2,3,4,6,8,10],[5,7,9,11,12,13,14]]=>21
[[1,2,3,4,6,8,9],[5,7,10,11,12,13,14]]=>12
[[1,2,3,4,6,7,13],[5,8,9,10,11,12,14]]=>17
[[1,2,3,4,6,7,12],[5,8,9,10,11,13,14]]=>16
[[1,2,3,4,6,7,11],[5,8,9,10,12,13,14]]=>15
[[1,2,3,4,6,7,10],[5,8,9,11,12,13,14]]=>14
[[1,2,3,4,6,7,9],[5,8,10,11,12,13,14]]=>13
[[1,2,3,4,6,7,8],[5,9,10,11,12,13,14]]=>5
[[1,2,3,4,5,11,12],[6,7,8,9,10,13,14]]=>10
[[1,2,3,4,5,10,13],[6,7,8,9,11,12,14]]=>21
[[1,2,3,4,5,10,12],[6,7,8,9,11,13,14]]=>20
[[1,2,3,4,5,10,11],[6,7,8,9,12,13,14]]=>9
[[1,2,3,4,5,9,13],[6,7,8,10,11,12,14]]=>20
[[1,2,3,4,5,9,12],[6,7,8,10,11,13,14]]=>19
[[1,2,3,4,5,9,11],[6,7,8,10,12,13,14]]=>18
[[1,2,3,4,5,9,10],[6,7,8,11,12,13,14]]=>8
[[1,2,3,4,5,8,13],[6,7,9,10,11,12,14]]=>19
[[1,2,3,4,5,8,12],[6,7,9,10,11,13,14]]=>18
[[1,2,3,4,5,8,11],[6,7,9,10,12,13,14]]=>17
[[1,2,3,4,5,8,10],[6,7,9,11,12,13,14]]=>16
[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]]=>7
[[1,2,3,4,5,7,13],[6,8,9,10,11,12,14]]=>18
[[1,2,3,4,5,7,12],[6,8,9,10,11,13,14]]=>17
[[1,2,3,4,5,7,11],[6,8,9,10,12,13,14]]=>16
[[1,2,3,4,5,7,10],[6,8,9,11,12,13,14]]=>15
[[1,2,3,4,5,7,9],[6,8,10,11,12,13,14]]=>14
[[1,2,3,4,5,7,8],[6,9,10,11,12,13,14]]=>6
[[1,2,3,4,5,6,13],[7,8,9,10,11,12,14]]=>12
[[1,2,3,4,5,6,12],[7,8,9,10,11,13,14]]=>11
[[1,2,3,4,5,6,11],[7,8,9,10,12,13,14]]=>10
[[1,2,3,4,5,6,10],[7,8,9,11,12,13,14]]=>9
[[1,2,3,4,5,6,9],[7,8,10,11,12,13,14]]=>8
[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]]=>7
[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13,14]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13],[14]]=>0
[[1,2,3,4,5],[6,7,8,9],[10,11],[12,13],[14]]=>0
[[1,2,3,4,5],[6,7,8],[9,10,11],[12,13],[14]]=>0
[[1,2,3,4],[5,6,7,8],[9,10,11],[12,13],[14]]=>0
[[1,2,5,9,14],[3,4,8,13],[6,7,12],[10,11]]=>55
[[1,4,5,9,14],[2,7,8,13],[3,11,12],[6],[10]]=>52
[[1,3,8,9,14],[2,5,12,13],[4,7],[6,11],[10]]=>53
[[1,3,6,13,14],[2,5,9],[4,8,12],[7,11],[10]]=>59
[[1,3,6,10],[2,5,9,14],[4,8,13],[7,12],[11]]=>71
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13,14],[15]]=>0
[[1,3,6,10,15],[2,5,9,14],[4,8,13],[7,12],[11]]=>85
[[1,3,4,5,6,8,9,10],[2,7,11,12,13,14,15,16]]=>9
[[1,3,4,5,6,7,9,11],[2,8,10,12,13,14,15,16]]=>20
[[1,3,4,5,6,7,9,10],[2,8,11,12,13,14,15,16]]=>10
[[1,3,4,5,6,7,8,12],[2,9,10,11,13,14,15,16]]=>13
[[1,3,4,5,6,7,8,11],[2,9,10,12,13,14,15,16]]=>12
[[1,3,4,5,6,7,8,10],[2,9,11,12,13,14,15,16]]=>11
[[1,3,4,5,6,7,8,9],[2,10,11,12,13,14,15,16]]=>2
[[1,2,3,4,6,7,8,15],[5,9,10,11,12,13,14,16]]=>19
[[1,2,3,4,5,7,9,15],[6,8,10,11,12,13,14,16]]=>28
[[1,2,3,4,5,7,8,15],[6,9,10,11,12,13,14,16]]=>20
[[1,2,3,4,5,6,10,15],[7,8,9,11,12,13,14,16]]=>23
[[1,2,3,4,5,6,9,15],[7,8,10,11,12,13,14,16]]=>22
[[1,2,3,4,5,6,8,15],[7,9,10,11,12,13,14,16]]=>21
[[1,2,3,4,5,6,7,15],[8,9,10,11,12,13,14,16]]=>14
[[1,2,3,4,5,6,7,8,17],[9,10,11,12,13,14,15,16,18]]=>16
[[1,3,4,5,6,7,8,9,10],[2,11,12,13,14,15,16,17,18]]=>2
[[1,2,3,4,5,6,7,9,17],[8,10,11,12,13,14,15,16,18]]=>24
[[1,3,4,5,6,7,8,9,11],[2,10,12,13,14,15,16,17,18]]=>12
[[1,2,3,4,5,6,7,10,17],[8,9,11,12,13,14,15,16,18]]=>25
[[1,2,3,4,5,6,8,9,17],[7,10,11,12,13,14,15,16,18]]=>23
[[1,3,4,5,6,7,8,9,12],[2,10,11,13,14,15,16,17,18]]=>13
[[1,3,4,5,6,7,8,10,11],[2,9,12,13,14,15,16,17,18]]=>11
[[1,2,3,4,5,6,7,8,9,19],[10,11,12,13,14,15,16,17,18,20]]=>18
[[1,3,4,5,6,7,8,9,10,11],[2,12,13,14,15,16,17,18,19,20]]=>2
[[1,2,3,4,5,6,7,8,10,19],[9,11,12,13,14,15,16,17,18,20]]=>27
[[1,3,4,5,6,7,8,9,10,12],[2,11,13,14,15,16,17,18,19,20]]=>13
[[1,2,3,4,5,6,7,8,9,10,21],[11,12,13,14,15,16,17,18,19,20,22]]=>20
[[1,3,4,5,6,7,8,9,10,11,12],[2,13,14,15,16,17,18,19,20,21,22]]=>2
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 natural major index of a standard Young tableau.
A natural descent of a standard tableau $T$ is an entry $i$ such that $i+1$ appears in a higher row than $i$ in English notation.
The natural major index of a tableau with natural descent set $D$ is then $\sum_{d\in D} d$.
A natural descent of a standard tableau $T$ is an entry $i$ such that $i+1$ appears in a higher row than $i$ in English notation.
The natural major index of a tableau with natural descent set $D$ is then $\sum_{d\in D} d$.
References
[1] Hopkins, S. Two majs for standard Young tableaux? MathOverflow:385374
Code
def natural_descents(T): n = T.size() D = [] for i in range(1, n): for row in T: if row.count(i): break if row.count(i+1): D.append(i) break return D def statistic(T): D = natural_descents(T) return sum(d for d in D)
Created
Mar 04, 2021 at 08:49 by Martin Rubey
Updated
Mar 10, 2021 at 15:42 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!