Identifier
- St000057: Standard tableaux ⟶ ℤ
Values
=>
Cc0007;cc-rep
[]=>0
[[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]]=>0
[[1,2],[3,4]]=>1
[[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]]=>0
[[1,2,5],[3,4]]=>1
[[1,3,4],[2,5]]=>1
[[1,2,4],[3,5]]=>2
[[1,2,3],[4,5]]=>3
[[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]]=>0
[[1,3],[2,5],[4]]=>1
[[1,2],[3,5],[4]]=>2
[[1,3],[2,4],[5]]=>2
[[1,2],[3,4],[5]]=>3
[[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]]=>0
[[1,2,5,6],[3,4]]=>1
[[1,3,4,6],[2,5]]=>1
[[1,2,4,6],[3,5]]=>2
[[1,2,3,6],[4,5]]=>3
[[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]]=>5
[[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]]=>0
[[1,2,5],[3,4,6]]=>1
[[1,3,4],[2,5,6]]=>1
[[1,2,4],[3,5,6]]=>2
[[1,2,3],[4,5,6]]=>3
[[1,4,6],[2,5],[3]]=>0
[[1,3,6],[2,5],[4]]=>1
[[1,2,6],[3,5],[4]]=>2
[[1,3,6],[2,4],[5]]=>2
[[1,2,6],[3,4],[5]]=>3
[[1,4,5],[2,6],[3]]=>1
[[1,3,5],[2,6],[4]]=>2
[[1,2,5],[3,6],[4]]=>3
[[1,3,4],[2,6],[5]]=>3
[[1,2,4],[3,6],[5]]=>4
[[1,2,3],[4,6],[5]]=>5
[[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,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]]=>0
[[1,3],[2,5],[4,6]]=>1
[[1,2],[3,5],[4,6]]=>2
[[1,3],[2,4],[5,6]]=>2
[[1,2],[3,4],[5,6]]=>3
[[1,5],[2,6],[3],[4]]=>0
[[1,4],[2,6],[3],[5]]=>1
[[1,3],[2,6],[4],[5]]=>2
[[1,2],[3,6],[4],[5]]=>3
[[1,4],[2,5],[3],[6]]=>2
[[1,3],[2,5],[4],[6]]=>3
[[1,2],[3,5],[4],[6]]=>4
[[1,3],[2,4],[5],[6]]=>4
[[1,2],[3,4],[5],[6]]=>5
[[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]]=>0
[[1,2,5,6,7],[3,4]]=>1
[[1,3,4,6,7],[2,5]]=>1
[[1,2,4,6,7],[3,5]]=>2
[[1,2,3,6,7],[4,5]]=>3
[[1,3,4,5,7],[2,6]]=>2
[[1,2,4,5,7],[3,6]]=>3
[[1,2,3,5,7],[4,6]]=>4
[[1,2,3,4,7],[5,6]]=>5
[[1,3,4,5,6],[2,7]]=>3
[[1,2,4,5,6],[3,7]]=>4
[[1,2,3,5,6],[4,7]]=>5
[[1,2,3,4,6],[5,7]]=>6
[[1,2,3,4,5],[6,7]]=>7
[[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]]=>0
[[1,2,5,7],[3,4,6]]=>1
[[1,3,4,7],[2,5,6]]=>1
[[1,2,4,7],[3,5,6]]=>2
[[1,2,3,7],[4,5,6]]=>3
[[1,3,5,6],[2,4,7]]=>1
[[1,2,5,6],[3,4,7]]=>2
[[1,3,4,6],[2,5,7]]=>2
[[1,2,4,6],[3,5,7]]=>3
[[1,2,3,6],[4,5,7]]=>4
[[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]]=>6
[[1,4,6,7],[2,5],[3]]=>0
[[1,3,6,7],[2,5],[4]]=>1
[[1,2,6,7],[3,5],[4]]=>2
[[1,3,6,7],[2,4],[5]]=>2
[[1,2,6,7],[3,4],[5]]=>3
[[1,4,5,7],[2,6],[3]]=>1
[[1,3,5,7],[2,6],[4]]=>2
[[1,2,5,7],[3,6],[4]]=>3
[[1,3,4,7],[2,6],[5]]=>3
[[1,2,4,7],[3,6],[5]]=>4
[[1,2,3,7],[4,6],[5]]=>5
[[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,7],[3]]=>2
[[1,3,5,6],[2,7],[4]]=>3
[[1,2,5,6],[3,7],[4]]=>4
[[1,3,4,6],[2,7],[5]]=>4
[[1,2,4,6],[3,7],[5]]=>5
[[1,2,3,6],[4,7],[5]]=>6
[[1,3,4,5],[2,7],[6]]=>5
[[1,2,4,5],[3,7],[6]]=>6
[[1,2,3,5],[4,7],[6]]=>7
[[1,2,3,4],[5,7],[6]]=>8
[[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,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]]=>0
[[1,3,6],[2,5,7],[4]]=>1
[[1,2,6],[3,5,7],[4]]=>2
[[1,3,6],[2,4,7],[5]]=>2
[[1,2,6],[3,4,7],[5]]=>3
[[1,4,5],[2,6,7],[3]]=>1
[[1,3,5],[2,6,7],[4]]=>2
[[1,2,5],[3,6,7],[4]]=>3
[[1,3,4],[2,6,7],[5]]=>3
[[1,2,4],[3,6,7],[5]]=>4
[[1,2,3],[4,6,7],[5]]=>5
[[1,3,5],[2,4,7],[6]]=>3
[[1,2,5],[3,4,7],[6]]=>4
[[1,3,4],[2,5,7],[6]]=>4
[[1,2,4],[3,5,7],[6]]=>5
[[1,2,3],[4,5,7],[6]]=>6
[[1,3,5],[2,4,6],[7]]=>4
[[1,2,5],[3,4,6],[7]]=>5
[[1,3,4],[2,5,6],[7]]=>5
[[1,2,4],[3,5,6],[7]]=>6
[[1,2,3],[4,5,6],[7]]=>7
[[1,4,7],[2,5],[3,6]]=>0
[[1,3,7],[2,5],[4,6]]=>1
[[1,2,7],[3,5],[4,6]]=>2
[[1,3,7],[2,4],[5,6]]=>2
[[1,2,7],[3,4],[5,6]]=>3
[[1,4,6],[2,5],[3,7]]=>1
[[1,3,6],[2,5],[4,7]]=>2
[[1,2,6],[3,5],[4,7]]=>3
[[1,3,6],[2,4],[5,7]]=>3
[[1,2,6],[3,4],[5,7]]=>4
[[1,4,5],[2,6],[3,7]]=>2
[[1,3,5],[2,6],[4,7]]=>3
[[1,2,5],[3,6],[4,7]]=>4
[[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]]=>4
[[1,2,5],[3,4],[6,7]]=>5
[[1,3,4],[2,5],[6,7]]=>5
[[1,2,4],[3,5],[6,7]]=>6
[[1,2,3],[4,5],[6,7]]=>7
[[1,5,7],[2,6],[3],[4]]=>0
[[1,4,7],[2,6],[3],[5]]=>1
[[1,3,7],[2,6],[4],[5]]=>2
[[1,2,7],[3,6],[4],[5]]=>3
[[1,4,7],[2,5],[3],[6]]=>2
[[1,3,7],[2,5],[4],[6]]=>3
[[1,2,7],[3,5],[4],[6]]=>4
[[1,3,7],[2,4],[5],[6]]=>4
[[1,2,7],[3,4],[5],[6]]=>5
[[1,5,6],[2,7],[3],[4]]=>1
[[1,4,6],[2,7],[3],[5]]=>2
[[1,3,6],[2,7],[4],[5]]=>3
[[1,2,6],[3,7],[4],[5]]=>4
[[1,4,5],[2,7],[3],[6]]=>3
[[1,3,5],[2,7],[4],[6]]=>4
[[1,2,5],[3,7],[4],[6]]=>5
[[1,3,4],[2,7],[5],[6]]=>5
[[1,2,4],[3,7],[5],[6]]=>6
[[1,2,3],[4,7],[5],[6]]=>7
[[1,4,6],[2,5],[3],[7]]=>3
[[1,3,6],[2,5],[4],[7]]=>4
[[1,2,6],[3,5],[4],[7]]=>5
[[1,3,6],[2,4],[5],[7]]=>5
[[1,2,6],[3,4],[5],[7]]=>6
[[1,4,5],[2,6],[3],[7]]=>4
[[1,3,5],[2,6],[4],[7]]=>5
[[1,2,5],[3,6],[4],[7]]=>6
[[1,3,4],[2,6],[5],[7]]=>6
[[1,2,4],[3,6],[5],[7]]=>7
[[1,2,3],[4,6],[5],[7]]=>8
[[1,3,5],[2,4],[6],[7]]=>6
[[1,2,5],[3,4],[6],[7]]=>7
[[1,3,4],[2,5],[6],[7]]=>7
[[1,2,4],[3,5],[6],[7]]=>8
[[1,2,3],[4,5],[6],[7]]=>9
[[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]]=>0
[[1,4],[2,6],[3,7],[5]]=>1
[[1,3],[2,6],[4,7],[5]]=>2
[[1,2],[3,6],[4,7],[5]]=>3
[[1,4],[2,5],[3,7],[6]]=>2
[[1,3],[2,5],[4,7],[6]]=>3
[[1,2],[3,5],[4,7],[6]]=>4
[[1,3],[2,4],[5,7],[6]]=>4
[[1,2],[3,4],[5,7],[6]]=>5
[[1,4],[2,5],[3,6],[7]]=>3
[[1,3],[2,5],[4,6],[7]]=>4
[[1,2],[3,5],[4,6],[7]]=>5
[[1,3],[2,4],[5,6],[7]]=>5
[[1,2],[3,4],[5,6],[7]]=>6
[[1,6],[2,7],[3],[4],[5]]=>0
[[1,5],[2,7],[3],[4],[6]]=>1
[[1,4],[2,7],[3],[5],[6]]=>2
[[1,3],[2,7],[4],[5],[6]]=>3
[[1,2],[3,7],[4],[5],[6]]=>4
[[1,5],[2,6],[3],[4],[7]]=>2
[[1,4],[2,6],[3],[5],[7]]=>3
[[1,3],[2,6],[4],[5],[7]]=>4
[[1,2],[3,6],[4],[5],[7]]=>5
[[1,4],[2,5],[3],[6],[7]]=>4
[[1,3],[2,5],[4],[6],[7]]=>5
[[1,2],[3,5],[4],[6],[7]]=>6
[[1,3],[2,4],[5],[6],[7]]=>6
[[1,2],[3,4],[5],[6],[7]]=>7
[[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]]=>0
[[1,2,5,6,7,8],[3,4]]=>1
[[1,3,4,6,7,8],[2,5]]=>1
[[1,2,4,6,7,8],[3,5]]=>2
[[1,2,3,6,7,8],[4,5]]=>3
[[1,3,4,5,7,8],[2,6]]=>2
[[1,2,4,5,7,8],[3,6]]=>3
[[1,2,3,5,7,8],[4,6]]=>4
[[1,2,3,4,7,8],[5,6]]=>5
[[1,3,4,5,6,8],[2,7]]=>3
[[1,2,4,5,6,8],[3,7]]=>4
[[1,2,3,5,6,8],[4,7]]=>5
[[1,2,3,4,6,8],[5,7]]=>6
[[1,2,3,4,5,8],[6,7]]=>7
[[1,3,4,5,6,7],[2,8]]=>4
[[1,2,4,5,6,7],[3,8]]=>5
[[1,2,3,5,6,7],[4,8]]=>6
[[1,2,3,4,6,7],[5,8]]=>7
[[1,2,3,4,5,7],[6,8]]=>8
[[1,2,3,4,5,6],[7,8]]=>9
[[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]]=>0
[[1,2,5,7,8],[3,4,6]]=>1
[[1,3,4,7,8],[2,5,6]]=>1
[[1,2,4,7,8],[3,5,6]]=>2
[[1,2,3,7,8],[4,5,6]]=>3
[[1,3,5,6,8],[2,4,7]]=>1
[[1,2,5,6,8],[3,4,7]]=>2
[[1,3,4,6,8],[2,5,7]]=>2
[[1,2,4,6,8],[3,5,7]]=>3
[[1,2,3,6,8],[4,5,7]]=>4
[[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]]=>6
[[1,3,5,6,7],[2,4,8]]=>2
[[1,2,5,6,7],[3,4,8]]=>3
[[1,3,4,6,7],[2,5,8]]=>3
[[1,2,4,6,7],[3,5,8]]=>4
[[1,2,3,6,7],[4,5,8]]=>5
[[1,3,4,5,7],[2,6,8]]=>4
[[1,2,4,5,7],[3,6,8]]=>5
[[1,2,3,5,7],[4,6,8]]=>6
[[1,2,3,4,7],[5,6,8]]=>7
[[1,3,4,5,6],[2,7,8]]=>5
[[1,2,4,5,6],[3,7,8]]=>6
[[1,2,3,5,6],[4,7,8]]=>7
[[1,2,3,4,6],[5,7,8]]=>8
[[1,2,3,4,5],[6,7,8]]=>9
[[1,4,6,7,8],[2,5],[3]]=>0
[[1,3,6,7,8],[2,5],[4]]=>1
[[1,2,6,7,8],[3,5],[4]]=>2
[[1,3,6,7,8],[2,4],[5]]=>2
[[1,2,6,7,8],[3,4],[5]]=>3
[[1,4,5,7,8],[2,6],[3]]=>1
[[1,3,5,7,8],[2,6],[4]]=>2
[[1,2,5,7,8],[3,6],[4]]=>3
[[1,3,4,7,8],[2,6],[5]]=>3
[[1,2,4,7,8],[3,6],[5]]=>4
[[1,2,3,7,8],[4,6],[5]]=>5
[[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,7],[3]]=>2
[[1,3,5,6,8],[2,7],[4]]=>3
[[1,2,5,6,8],[3,7],[4]]=>4
[[1,3,4,6,8],[2,7],[5]]=>4
[[1,2,4,6,8],[3,7],[5]]=>5
[[1,2,3,6,8],[4,7],[5]]=>6
[[1,3,4,5,8],[2,7],[6]]=>5
[[1,2,4,5,8],[3,7],[6]]=>6
[[1,2,3,5,8],[4,7],[6]]=>7
[[1,2,3,4,8],[5,7],[6]]=>8
[[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,8],[3]]=>3
[[1,3,5,6,7],[2,8],[4]]=>4
[[1,2,5,6,7],[3,8],[4]]=>5
[[1,3,4,6,7],[2,8],[5]]=>5
[[1,2,4,6,7],[3,8],[5]]=>6
[[1,2,3,6,7],[4,8],[5]]=>7
[[1,3,4,5,7],[2,8],[6]]=>6
[[1,2,4,5,7],[3,8],[6]]=>7
[[1,2,3,5,7],[4,8],[6]]=>8
[[1,2,3,4,7],[5,8],[6]]=>9
[[1,3,4,5,6],[2,8],[7]]=>7
[[1,2,4,5,6],[3,8],[7]]=>8
[[1,2,3,5,6],[4,8],[7]]=>9
[[1,2,3,4,6],[5,8],[7]]=>10
[[1,2,3,4,5],[6,8],[7]]=>11
[[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,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]]=>0
[[1,2,5,7],[3,4,6,8]]=>1
[[1,3,4,7],[2,5,6,8]]=>1
[[1,2,4,7],[3,5,6,8]]=>2
[[1,2,3,7],[4,5,6,8]]=>3
[[1,3,5,6],[2,4,7,8]]=>1
[[1,2,5,6],[3,4,7,8]]=>2
[[1,3,4,6],[2,5,7,8]]=>2
[[1,2,4,6],[3,5,7,8]]=>3
[[1,2,3,6],[4,5,7,8]]=>4
[[1,3,4,5],[2,6,7,8]]=>3
[[1,2,4,5],[3,6,7,8]]=>4
[[1,2,3,5],[4,6,7,8]]=>5
[[1,2,3,4],[5,6,7,8]]=>6
[[1,4,6,8],[2,5,7],[3]]=>0
[[1,3,6,8],[2,5,7],[4]]=>1
[[1,2,6,8],[3,5,7],[4]]=>2
[[1,3,6,8],[2,4,7],[5]]=>2
[[1,2,6,8],[3,4,7],[5]]=>3
[[1,4,5,8],[2,6,7],[3]]=>1
[[1,3,5,8],[2,6,7],[4]]=>2
[[1,2,5,8],[3,6,7],[4]]=>3
[[1,3,4,8],[2,6,7],[5]]=>3
[[1,2,4,8],[3,6,7],[5]]=>4
[[1,2,3,8],[4,6,7],[5]]=>5
[[1,3,5,8],[2,4,7],[6]]=>3
[[1,2,5,8],[3,4,7],[6]]=>4
[[1,3,4,8],[2,5,7],[6]]=>4
[[1,2,4,8],[3,5,7],[6]]=>5
[[1,2,3,8],[4,5,7],[6]]=>6
[[1,3,5,8],[2,4,6],[7]]=>4
[[1,2,5,8],[3,4,6],[7]]=>5
[[1,3,4,8],[2,5,6],[7]]=>5
[[1,2,4,8],[3,5,6],[7]]=>6
[[1,2,3,8],[4,5,6],[7]]=>7
[[1,4,6,7],[2,5,8],[3]]=>1
[[1,3,6,7],[2,5,8],[4]]=>2
[[1,2,6,7],[3,5,8],[4]]=>3
[[1,3,6,7],[2,4,8],[5]]=>3
[[1,2,6,7],[3,4,8],[5]]=>4
[[1,4,5,7],[2,6,8],[3]]=>2
[[1,3,5,7],[2,6,8],[4]]=>3
[[1,2,5,7],[3,6,8],[4]]=>4
[[1,3,4,7],[2,6,8],[5]]=>4
[[1,2,4,7],[3,6,8],[5]]=>5
[[1,2,3,7],[4,6,8],[5]]=>6
[[1,3,5,7],[2,4,8],[6]]=>4
[[1,2,5,7],[3,4,8],[6]]=>5
[[1,3,4,7],[2,5,8],[6]]=>5
[[1,2,4,7],[3,5,8],[6]]=>6
[[1,2,3,7],[4,5,8],[6]]=>7
[[1,4,5,6],[2,7,8],[3]]=>3
[[1,3,5,6],[2,7,8],[4]]=>4
[[1,2,5,6],[3,7,8],[4]]=>5
[[1,3,4,6],[2,7,8],[5]]=>5
[[1,2,4,6],[3,7,8],[5]]=>6
[[1,2,3,6],[4,7,8],[5]]=>7
[[1,3,4,5],[2,7,8],[6]]=>6
[[1,2,4,5],[3,7,8],[6]]=>7
[[1,2,3,5],[4,7,8],[6]]=>8
[[1,2,3,4],[5,7,8],[6]]=>9
[[1,3,5,6],[2,4,8],[7]]=>5
[[1,2,5,6],[3,4,8],[7]]=>6
[[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]]=>8
[[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]]=>10
[[1,3,5,7],[2,4,6],[8]]=>5
[[1,2,5,7],[3,4,6],[8]]=>6
[[1,3,4,7],[2,5,6],[8]]=>6
[[1,2,4,7],[3,5,6],[8]]=>7
[[1,2,3,7],[4,5,6],[8]]=>8
[[1,3,5,6],[2,4,7],[8]]=>6
[[1,2,5,6],[3,4,7],[8]]=>7
[[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]]=>9
[[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]]=>11
[[1,4,7,8],[2,5],[3,6]]=>0
[[1,3,7,8],[2,5],[4,6]]=>1
[[1,2,7,8],[3,5],[4,6]]=>2
[[1,3,7,8],[2,4],[5,6]]=>2
[[1,2,7,8],[3,4],[5,6]]=>3
[[1,4,6,8],[2,5],[3,7]]=>1
[[1,3,6,8],[2,5],[4,7]]=>2
[[1,2,6,8],[3,5],[4,7]]=>3
[[1,3,6,8],[2,4],[5,7]]=>3
[[1,2,6,8],[3,4],[5,7]]=>4
[[1,4,5,8],[2,6],[3,7]]=>2
[[1,3,5,8],[2,6],[4,7]]=>3
[[1,2,5,8],[3,6],[4,7]]=>4
[[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]]=>4
[[1,2,5,8],[3,4],[6,7]]=>5
[[1,3,4,8],[2,5],[6,7]]=>5
[[1,2,4,8],[3,5],[6,7]]=>6
[[1,2,3,8],[4,5],[6,7]]=>7
[[1,4,6,7],[2,5],[3,8]]=>2
[[1,3,6,7],[2,5],[4,8]]=>3
[[1,2,6,7],[3,5],[4,8]]=>4
[[1,3,6,7],[2,4],[5,8]]=>4
[[1,2,6,7],[3,4],[5,8]]=>5
[[1,4,5,7],[2,6],[3,8]]=>3
[[1,3,5,7],[2,6],[4,8]]=>4
[[1,2,5,7],[3,6],[4,8]]=>5
[[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]]=>5
[[1,2,5,7],[3,4],[6,8]]=>6
[[1,3,4,7],[2,5],[6,8]]=>6
[[1,2,4,7],[3,5],[6,8]]=>7
[[1,2,3,7],[4,5],[6,8]]=>8
[[1,4,5,6],[2,7],[3,8]]=>4
[[1,3,5,6],[2,7],[4,8]]=>5
[[1,2,5,6],[3,7],[4,8]]=>6
[[1,3,4,6],[2,7],[5,8]]=>6
[[1,2,4,6],[3,7],[5,8]]=>7
[[1,2,3,6],[4,7],[5,8]]=>8
[[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]]=>6
[[1,2,5,6],[3,4],[7,8]]=>7
[[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]]=>9
[[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]]=>11
[[1,5,7,8],[2,6],[3],[4]]=>0
[[1,4,7,8],[2,6],[3],[5]]=>1
[[1,3,7,8],[2,6],[4],[5]]=>2
[[1,2,7,8],[3,6],[4],[5]]=>3
[[1,4,7,8],[2,5],[3],[6]]=>2
[[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]]=>4
[[1,2,7,8],[3,4],[5],[6]]=>5
[[1,5,6,8],[2,7],[3],[4]]=>1
[[1,4,6,8],[2,7],[3],[5]]=>2
[[1,3,6,8],[2,7],[4],[5]]=>3
[[1,2,6,8],[3,7],[4],[5]]=>4
[[1,4,5,8],[2,7],[3],[6]]=>3
[[1,3,5,8],[2,7],[4],[6]]=>4
[[1,2,5,8],[3,7],[4],[6]]=>5
[[1,3,4,8],[2,7],[5],[6]]=>5
[[1,2,4,8],[3,7],[5],[6]]=>6
[[1,2,3,8],[4,7],[5],[6]]=>7
[[1,4,6,8],[2,5],[3],[7]]=>3
[[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]]=>5
[[1,2,6,8],[3,4],[5],[7]]=>6
[[1,4,5,8],[2,6],[3],[7]]=>4
[[1,3,5,8],[2,6],[4],[7]]=>5
[[1,2,5,8],[3,6],[4],[7]]=>6
[[1,3,4,8],[2,6],[5],[7]]=>6
[[1,2,4,8],[3,6],[5],[7]]=>7
[[1,2,3,8],[4,6],[5],[7]]=>8
[[1,3,5,8],[2,4],[6],[7]]=>6
[[1,2,5,8],[3,4],[6],[7]]=>7
[[1,3,4,8],[2,5],[6],[7]]=>7
[[1,2,4,8],[3,5],[6],[7]]=>8
[[1,2,3,8],[4,5],[6],[7]]=>9
[[1,5,6,7],[2,8],[3],[4]]=>2
[[1,4,6,7],[2,8],[3],[5]]=>3
[[1,3,6,7],[2,8],[4],[5]]=>4
[[1,2,6,7],[3,8],[4],[5]]=>5
[[1,4,5,7],[2,8],[3],[6]]=>4
[[1,3,5,7],[2,8],[4],[6]]=>5
[[1,2,5,7],[3,8],[4],[6]]=>6
[[1,3,4,7],[2,8],[5],[6]]=>6
[[1,2,4,7],[3,8],[5],[6]]=>7
[[1,2,3,7],[4,8],[5],[6]]=>8
[[1,4,5,6],[2,8],[3],[7]]=>5
[[1,3,5,6],[2,8],[4],[7]]=>6
[[1,2,5,6],[3,8],[4],[7]]=>7
[[1,3,4,6],[2,8],[5],[7]]=>7
[[1,2,4,6],[3,8],[5],[7]]=>8
[[1,2,3,6],[4,8],[5],[7]]=>9
[[1,3,4,5],[2,8],[6],[7]]=>8
[[1,2,4,5],[3,8],[6],[7]]=>9
[[1,2,3,5],[4,8],[6],[7]]=>10
[[1,2,3,4],[5,8],[6],[7]]=>11
[[1,4,6,7],[2,5],[3],[8]]=>4
[[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]]=>6
[[1,2,6,7],[3,4],[5],[8]]=>7
[[1,4,5,7],[2,6],[3],[8]]=>5
[[1,3,5,7],[2,6],[4],[8]]=>6
[[1,2,5,7],[3,6],[4],[8]]=>7
[[1,3,4,7],[2,6],[5],[8]]=>7
[[1,2,4,7],[3,6],[5],[8]]=>8
[[1,2,3,7],[4,6],[5],[8]]=>9
[[1,3,5,7],[2,4],[6],[8]]=>7
[[1,2,5,7],[3,4],[6],[8]]=>8
[[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]]=>10
[[1,4,5,6],[2,7],[3],[8]]=>6
[[1,3,5,6],[2,7],[4],[8]]=>7
[[1,2,5,6],[3,7],[4],[8]]=>8
[[1,3,4,6],[2,7],[5],[8]]=>8
[[1,2,4,6],[3,7],[5],[8]]=>9
[[1,2,3,6],[4,7],[5],[8]]=>10
[[1,3,4,5],[2,7],[6],[8]]=>9
[[1,2,4,5],[3,7],[6],[8]]=>10
[[1,2,3,5],[4,7],[6],[8]]=>11
[[1,2,3,4],[5,7],[6],[8]]=>12
[[1,3,5,6],[2,4],[7],[8]]=>8
[[1,2,5,6],[3,4],[7],[8]]=>9
[[1,3,4,6],[2,5],[7],[8]]=>9
[[1,2,4,6],[3,5],[7],[8]]=>10
[[1,2,3,6],[4,5],[7],[8]]=>11
[[1,3,4,5],[2,6],[7],[8]]=>10
[[1,2,4,5],[3,6],[7],[8]]=>11
[[1,2,3,5],[4,6],[7],[8]]=>12
[[1,2,3,4],[5,6],[7],[8]]=>13
[[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]]=>0
[[1,3,7],[2,5,8],[4,6]]=>1
[[1,2,7],[3,5,8],[4,6]]=>2
[[1,3,7],[2,4,8],[5,6]]=>2
[[1,2,7],[3,4,8],[5,6]]=>3
[[1,4,6],[2,5,8],[3,7]]=>1
[[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]]=>3
[[1,2,6],[3,4,8],[5,7]]=>4
[[1,4,5],[2,6,8],[3,7]]=>2
[[1,3,5],[2,6,8],[4,7]]=>3
[[1,2,5],[3,6,8],[4,7]]=>4
[[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]]=>4
[[1,2,5],[3,4,8],[6,7]]=>5
[[1,3,4],[2,5,8],[6,7]]=>5
[[1,2,4],[3,5,8],[6,7]]=>6
[[1,2,3],[4,5,8],[6,7]]=>7
[[1,4,6],[2,5,7],[3,8]]=>2
[[1,3,6],[2,5,7],[4,8]]=>3
[[1,2,6],[3,5,7],[4,8]]=>4
[[1,3,6],[2,4,7],[5,8]]=>4
[[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]]=>4
[[1,2,5],[3,6,7],[4,8]]=>5
[[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]]=>5
[[1,2,5],[3,4,7],[6,8]]=>6
[[1,3,4],[2,5,7],[6,8]]=>6
[[1,2,4],[3,5,7],[6,8]]=>7
[[1,2,3],[4,5,7],[6,8]]=>8
[[1,3,5],[2,4,6],[7,8]]=>6
[[1,2,5],[3,4,6],[7,8]]=>7
[[1,3,4],[2,5,6],[7,8]]=>7
[[1,2,4],[3,5,6],[7,8]]=>8
[[1,2,3],[4,5,6],[7,8]]=>9
[[1,5,7],[2,6,8],[3],[4]]=>0
[[1,4,7],[2,6,8],[3],[5]]=>1
[[1,3,7],[2,6,8],[4],[5]]=>2
[[1,2,7],[3,6,8],[4],[5]]=>3
[[1,4,7],[2,5,8],[3],[6]]=>2
[[1,3,7],[2,5,8],[4],[6]]=>3
[[1,2,7],[3,5,8],[4],[6]]=>4
[[1,3,7],[2,4,8],[5],[6]]=>4
[[1,2,7],[3,4,8],[5],[6]]=>5
[[1,5,6],[2,7,8],[3],[4]]=>1
[[1,4,6],[2,7,8],[3],[5]]=>2
[[1,3,6],[2,7,8],[4],[5]]=>3
[[1,2,6],[3,7,8],[4],[5]]=>4
[[1,4,5],[2,7,8],[3],[6]]=>3
[[1,3,5],[2,7,8],[4],[6]]=>4
[[1,2,5],[3,7,8],[4],[6]]=>5
[[1,3,4],[2,7,8],[5],[6]]=>5
[[1,2,4],[3,7,8],[5],[6]]=>6
[[1,2,3],[4,7,8],[5],[6]]=>7
[[1,4,6],[2,5,8],[3],[7]]=>3
[[1,3,6],[2,5,8],[4],[7]]=>4
[[1,2,6],[3,5,8],[4],[7]]=>5
[[1,3,6],[2,4,8],[5],[7]]=>5
[[1,2,6],[3,4,8],[5],[7]]=>6
[[1,4,5],[2,6,8],[3],[7]]=>4
[[1,3,5],[2,6,8],[4],[7]]=>5
[[1,2,5],[3,6,8],[4],[7]]=>6
[[1,3,4],[2,6,8],[5],[7]]=>6
[[1,2,4],[3,6,8],[5],[7]]=>7
[[1,2,3],[4,6,8],[5],[7]]=>8
[[1,3,5],[2,4,8],[6],[7]]=>6
[[1,2,5],[3,4,8],[6],[7]]=>7
[[1,3,4],[2,5,8],[6],[7]]=>7
[[1,2,4],[3,5,8],[6],[7]]=>8
[[1,2,3],[4,5,8],[6],[7]]=>9
[[1,4,6],[2,5,7],[3],[8]]=>4
[[1,3,6],[2,5,7],[4],[8]]=>5
[[1,2,6],[3,5,7],[4],[8]]=>6
[[1,3,6],[2,4,7],[5],[8]]=>6
[[1,2,6],[3,4,7],[5],[8]]=>7
[[1,4,5],[2,6,7],[3],[8]]=>5
[[1,3,5],[2,6,7],[4],[8]]=>6
[[1,2,5],[3,6,7],[4],[8]]=>7
[[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]]=>9
[[1,3,5],[2,4,7],[6],[8]]=>7
[[1,2,5],[3,4,7],[6],[8]]=>8
[[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]]=>10
[[1,3,5],[2,4,6],[7],[8]]=>8
[[1,2,5],[3,4,6],[7],[8]]=>9
[[1,3,4],[2,5,6],[7],[8]]=>9
[[1,2,4],[3,5,6],[7],[8]]=>10
[[1,2,3],[4,5,6],[7],[8]]=>11
[[1,5,8],[2,6],[3,7],[4]]=>0
[[1,4,8],[2,6],[3,7],[5]]=>1
[[1,3,8],[2,6],[4,7],[5]]=>2
[[1,2,8],[3,6],[4,7],[5]]=>3
[[1,4,8],[2,5],[3,7],[6]]=>2
[[1,3,8],[2,5],[4,7],[6]]=>3
[[1,2,8],[3,5],[4,7],[6]]=>4
[[1,3,8],[2,4],[5,7],[6]]=>4
[[1,2,8],[3,4],[5,7],[6]]=>5
[[1,4,8],[2,5],[3,6],[7]]=>3
[[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]]=>5
[[1,2,8],[3,4],[5,6],[7]]=>6
[[1,5,7],[2,6],[3,8],[4]]=>1
[[1,4,7],[2,6],[3,8],[5]]=>2
[[1,3,7],[2,6],[4,8],[5]]=>3
[[1,2,7],[3,6],[4,8],[5]]=>4
[[1,4,7],[2,5],[3,8],[6]]=>3
[[1,3,7],[2,5],[4,8],[6]]=>4
[[1,2,7],[3,5],[4,8],[6]]=>5
[[1,3,7],[2,4],[5,8],[6]]=>5
[[1,2,7],[3,4],[5,8],[6]]=>6
[[1,5,6],[2,7],[3,8],[4]]=>2
[[1,4,6],[2,7],[3,8],[5]]=>3
[[1,3,6],[2,7],[4,8],[5]]=>4
[[1,2,6],[3,7],[4,8],[5]]=>5
[[1,4,5],[2,7],[3,8],[6]]=>4
[[1,3,5],[2,7],[4,8],[6]]=>5
[[1,2,5],[3,7],[4,8],[6]]=>6
[[1,3,4],[2,7],[5,8],[6]]=>6
[[1,2,4],[3,7],[5,8],[6]]=>7
[[1,2,3],[4,7],[5,8],[6]]=>8
[[1,4,6],[2,5],[3,8],[7]]=>4
[[1,3,6],[2,5],[4,8],[7]]=>5
[[1,2,6],[3,5],[4,8],[7]]=>6
[[1,3,6],[2,4],[5,8],[7]]=>6
[[1,2,6],[3,4],[5,8],[7]]=>7
[[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]]=>7
[[1,2,4],[3,6],[5,8],[7]]=>8
[[1,2,3],[4,6],[5,8],[7]]=>9
[[1,3,5],[2,4],[6,8],[7]]=>7
[[1,2,5],[3,4],[6,8],[7]]=>8
[[1,3,4],[2,5],[6,8],[7]]=>8
[[1,2,4],[3,5],[6,8],[7]]=>9
[[1,2,3],[4,5],[6,8],[7]]=>10
[[1,4,7],[2,5],[3,6],[8]]=>4
[[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]]=>6
[[1,2,7],[3,4],[5,6],[8]]=>7
[[1,4,6],[2,5],[3,7],[8]]=>5
[[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]]=>7
[[1,2,6],[3,4],[5,7],[8]]=>8
[[1,4,5],[2,6],[3,7],[8]]=>6
[[1,3,5],[2,6],[4,7],[8]]=>7
[[1,2,5],[3,6],[4,7],[8]]=>8
[[1,3,4],[2,6],[5,7],[8]]=>8
[[1,2,4],[3,6],[5,7],[8]]=>9
[[1,2,3],[4,6],[5,7],[8]]=>10
[[1,3,5],[2,4],[6,7],[8]]=>8
[[1,2,5],[3,4],[6,7],[8]]=>9
[[1,3,4],[2,5],[6,7],[8]]=>9
[[1,2,4],[3,5],[6,7],[8]]=>10
[[1,2,3],[4,5],[6,7],[8]]=>11
[[1,6,8],[2,7],[3],[4],[5]]=>0
[[1,5,8],[2,7],[3],[4],[6]]=>1
[[1,4,8],[2,7],[3],[5],[6]]=>2
[[1,3,8],[2,7],[4],[5],[6]]=>3
[[1,2,8],[3,7],[4],[5],[6]]=>4
[[1,5,8],[2,6],[3],[4],[7]]=>2
[[1,4,8],[2,6],[3],[5],[7]]=>3
[[1,3,8],[2,6],[4],[5],[7]]=>4
[[1,2,8],[3,6],[4],[5],[7]]=>5
[[1,4,8],[2,5],[3],[6],[7]]=>4
[[1,3,8],[2,5],[4],[6],[7]]=>5
[[1,2,8],[3,5],[4],[6],[7]]=>6
[[1,3,8],[2,4],[5],[6],[7]]=>6
[[1,2,8],[3,4],[5],[6],[7]]=>7
[[1,6,7],[2,8],[3],[4],[5]]=>1
[[1,5,7],[2,8],[3],[4],[6]]=>2
[[1,4,7],[2,8],[3],[5],[6]]=>3
[[1,3,7],[2,8],[4],[5],[6]]=>4
[[1,2,7],[3,8],[4],[5],[6]]=>5
[[1,5,6],[2,8],[3],[4],[7]]=>3
[[1,4,6],[2,8],[3],[5],[7]]=>4
[[1,3,6],[2,8],[4],[5],[7]]=>5
[[1,2,6],[3,8],[4],[5],[7]]=>6
[[1,4,5],[2,8],[3],[6],[7]]=>5
[[1,3,5],[2,8],[4],[6],[7]]=>6
[[1,2,5],[3,8],[4],[6],[7]]=>7
[[1,3,4],[2,8],[5],[6],[7]]=>7
[[1,2,4],[3,8],[5],[6],[7]]=>8
[[1,2,3],[4,8],[5],[6],[7]]=>9
[[1,5,7],[2,6],[3],[4],[8]]=>3
[[1,4,7],[2,6],[3],[5],[8]]=>4
[[1,3,7],[2,6],[4],[5],[8]]=>5
[[1,2,7],[3,6],[4],[5],[8]]=>6
[[1,4,7],[2,5],[3],[6],[8]]=>5
[[1,3,7],[2,5],[4],[6],[8]]=>6
[[1,2,7],[3,5],[4],[6],[8]]=>7
[[1,3,7],[2,4],[5],[6],[8]]=>7
[[1,2,7],[3,4],[5],[6],[8]]=>8
[[1,5,6],[2,7],[3],[4],[8]]=>4
[[1,4,6],[2,7],[3],[5],[8]]=>5
[[1,3,6],[2,7],[4],[5],[8]]=>6
[[1,2,6],[3,7],[4],[5],[8]]=>7
[[1,4,5],[2,7],[3],[6],[8]]=>6
[[1,3,5],[2,7],[4],[6],[8]]=>7
[[1,2,5],[3,7],[4],[6],[8]]=>8
[[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]]=>10
[[1,4,6],[2,5],[3],[7],[8]]=>6
[[1,3,6],[2,5],[4],[7],[8]]=>7
[[1,2,6],[3,5],[4],[7],[8]]=>8
[[1,3,6],[2,4],[5],[7],[8]]=>8
[[1,2,6],[3,4],[5],[7],[8]]=>9
[[1,4,5],[2,6],[3],[7],[8]]=>7
[[1,3,5],[2,6],[4],[7],[8]]=>8
[[1,2,5],[3,6],[4],[7],[8]]=>9
[[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]]=>9
[[1,2,5],[3,4],[6],[7],[8]]=>10
[[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]]=>12
[[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]]=>0
[[1,4],[2,6],[3,7],[5,8]]=>1
[[1,3],[2,6],[4,7],[5,8]]=>2
[[1,2],[3,6],[4,7],[5,8]]=>3
[[1,4],[2,5],[3,7],[6,8]]=>2
[[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]]=>4
[[1,2],[3,4],[5,7],[6,8]]=>5
[[1,4],[2,5],[3,6],[7,8]]=>3
[[1,3],[2,5],[4,6],[7,8]]=>4
[[1,2],[3,5],[4,6],[7,8]]=>5
[[1,3],[2,4],[5,6],[7,8]]=>5
[[1,2],[3,4],[5,6],[7,8]]=>6
[[1,6],[2,7],[3,8],[4],[5]]=>0
[[1,5],[2,7],[3,8],[4],[6]]=>1
[[1,4],[2,7],[3,8],[5],[6]]=>2
[[1,3],[2,7],[4,8],[5],[6]]=>3
[[1,2],[3,7],[4,8],[5],[6]]=>4
[[1,5],[2,6],[3,8],[4],[7]]=>2
[[1,4],[2,6],[3,8],[5],[7]]=>3
[[1,3],[2,6],[4,8],[5],[7]]=>4
[[1,2],[3,6],[4,8],[5],[7]]=>5
[[1,4],[2,5],[3,8],[6],[7]]=>4
[[1,3],[2,5],[4,8],[6],[7]]=>5
[[1,2],[3,5],[4,8],[6],[7]]=>6
[[1,3],[2,4],[5,8],[6],[7]]=>6
[[1,2],[3,4],[5,8],[6],[7]]=>7
[[1,5],[2,6],[3,7],[4],[8]]=>3
[[1,4],[2,6],[3,7],[5],[8]]=>4
[[1,3],[2,6],[4,7],[5],[8]]=>5
[[1,2],[3,6],[4,7],[5],[8]]=>6
[[1,4],[2,5],[3,7],[6],[8]]=>5
[[1,3],[2,5],[4,7],[6],[8]]=>6
[[1,2],[3,5],[4,7],[6],[8]]=>7
[[1,3],[2,4],[5,7],[6],[8]]=>7
[[1,2],[3,4],[5,7],[6],[8]]=>8
[[1,4],[2,5],[3,6],[7],[8]]=>6
[[1,3],[2,5],[4,6],[7],[8]]=>7
[[1,2],[3,5],[4,6],[7],[8]]=>8
[[1,3],[2,4],[5,6],[7],[8]]=>8
[[1,2],[3,4],[5,6],[7],[8]]=>9
[[1,7],[2,8],[3],[4],[5],[6]]=>0
[[1,6],[2,8],[3],[4],[5],[7]]=>1
[[1,5],[2,8],[3],[4],[6],[7]]=>2
[[1,4],[2,8],[3],[5],[6],[7]]=>3
[[1,3],[2,8],[4],[5],[6],[7]]=>4
[[1,2],[3,8],[4],[5],[6],[7]]=>5
[[1,6],[2,7],[3],[4],[5],[8]]=>2
[[1,5],[2,7],[3],[4],[6],[8]]=>3
[[1,4],[2,7],[3],[5],[6],[8]]=>4
[[1,3],[2,7],[4],[5],[6],[8]]=>5
[[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]]=>5
[[1,3],[2,6],[4],[5],[7],[8]]=>6
[[1,2],[3,6],[4],[5],[7],[8]]=>7
[[1,4],[2,5],[3],[6],[7],[8]]=>6
[[1,3],[2,5],[4],[6],[7],[8]]=>7
[[1,2],[3,5],[4],[6],[7],[8]]=>8
[[1,3],[2,4],[5],[6],[7],[8]]=>8
[[1,2],[3,4],[5],[6],[7],[8]]=>9
[[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
[[1,2,3,4,5,6,7,8,9]]=>0
[[1,2,3,4,5,6,7,8],[9]]=>7
[[1,2,3,4,5,6,7],[8,9]]=>11
[[1,2,3,4,5,6,7],[8],[9]]=>12
[[1,2,3,4,5,6],[7,8,9]]=>12
[[1,2,3,4,5,6],[7,8],[9]]=>15
[[1,2,3,4,5,6],[7],[8],[9]]=>15
[[1,2,3,4,5],[6,7,8,9]]=>10
[[1,2,3,4,5],[6,7,8],[9]]=>15
[[1,2,3,4,5],[6,7],[8,9]]=>15
[[1,2,3,4,5],[6,7],[8],[9]]=>17
[[1,2,3,4,5],[6],[7],[8],[9]]=>16
[[1,2,3,4],[5,6,7,8],[9]]=>12
[[1,2,3,4],[5,6,7],[8,9]]=>14
[[1,2,3,4],[5,6,7],[8],[9]]=>16
[[1,2,3,4],[5,6],[7,8],[9]]=>16
[[1,2,3,4],[5,6],[7],[8],[9]]=>17
[[1,2,3,4],[5],[6],[7],[8],[9]]=>15
[[1,2,3],[4,5,6],[7,8,9]]=>9
[[1,2,3],[4,5,6],[7,8],[9]]=>14
[[1,2,3],[4,5,6],[7],[8],[9]]=>15
[[1,2,3],[4,5],[6,7],[8,9]]=>12
[[1,2,3],[4,5],[6,7],[8],[9]]=>15
[[1,2,3],[4,5],[6],[7],[8],[9]]=>15
[[1,2,3],[4],[5],[6],[7],[8],[9]]=>12
[[1,2],[3,4],[5,6],[7,8],[9]]=>10
[[1,2],[3,4],[5,6],[7],[8],[9]]=>12
[[1,2],[3,4],[5],[6],[7],[8],[9]]=>11
[[1,2],[3],[4],[5],[6],[7],[8],[9]]=>7
[[1],[2],[3],[4],[5],[6],[7],[8],[9]]=>0
[[1,3,4,5,6,7,8,9],[2]]=>0
[[1,2,5,6,7,8,9],[3,4]]=>1
[[1,4,5,6,7,8,9],[2],[3]]=>0
[[1,2,3,7,8,9],[4,5,6]]=>3
[[1,3,6,7,8,9],[2,5],[4]]=>1
[[1,5,6,7,8,9],[2],[3],[4]]=>0
[[1,2,3,4,9],[5,6,7,8]]=>6
[[1,3,4,8,9],[2,6,7],[5]]=>3
[[1,2,7,8,9],[3,4],[5,6]]=>3
[[1,4,7,8,9],[2,6],[3],[5]]=>1
[[1,6,7,8,9],[2],[3],[4],[5]]=>0
[[1,3,4,5],[2,7,8,9],[6]]=>6
[[1,2,5,9],[3,4,8],[6,7]]=>5
[[1,4,5,9],[2,7,8],[3],[6]]=>3
[[1,3,8,9],[2,5],[4,7],[6]]=>3
[[1,5,8,9],[2,7],[3],[4],[6]]=>1
[[1,7,8,9],[2],[3],[4],[5],[6]]=>0
[[1,3,6],[2,5,9],[4,8],[7]]=>5
[[1,5,6],[2,8,9],[3],[4],[7]]=>3
[[1,2,9],[3,4],[5,6],[7,8]]=>6
[[1,4,9],[2,6],[3,8],[5],[7]]=>3
[[1,6,9],[2,8],[3],[4],[5],[7]]=>1
[[1,8,9],[2],[3],[4],[5],[6],[7]]=>0
[[1,3],[2,5],[4,7],[6,9],[8]]=>6
[[1,5],[2,7],[3,9],[4],[6],[8]]=>3
[[1,7],[2,9],[3],[4],[5],[6],[8]]=>1
[[1,9],[2],[3],[4],[5],[6],[7],[8]]=>0
[[1,8],[2,9],[3],[4],[5],[6],[7]]=>0
[[1,7],[2,8],[3,9],[4],[5],[6]]=>0
[[1,7,9],[2,8],[3],[4],[5],[6]]=>0
[[1,6],[2,7],[3,8],[4,9],[5]]=>0
[[1,6,9],[2,7],[3,8],[4],[5]]=>0
[[1,6,8],[2,7,9],[3],[4],[5]]=>0
[[1,6,8,9],[2,7],[3],[4],[5]]=>0
[[1,5,9],[2,6],[3,7],[4,8]]=>0
[[1,5,8],[2,6,9],[3,7],[4]]=>0
[[1,5,8,9],[2,6],[3,7],[4]]=>0
[[1,5,7,9],[2,6,8],[3],[4]]=>0
[[1,5,7,8,9],[2,6],[3],[4]]=>0
[[1,4,7],[2,5,8],[3,6,9]]=>0
[[1,4,7,9],[2,5,8],[3,6]]=>0
[[1,4,7,8,9],[2,5],[3,6]]=>0
[[1,4,6,8],[2,5,7,9],[3]]=>0
[[1,4,6,8,9],[2,5,7],[3]]=>0
[[1,4,6,7,8,9],[2,5],[3]]=>0
[[1,3,5,7,9],[2,4,6,8]]=>0
[[1,3,5,7,8,9],[2,4,6]]=>0
[[1,3,5,6,7,8,9],[2,4]]=>0
[[1,3],[2,4],[5],[6],[7],[8],[9]]=>10
[[1,4],[2,5],[3,6],[7],[8],[9]]=>9
[[1,2,4],[3,5],[6],[7],[8],[9]]=>14
[[1,5],[2,6],[3,7],[4,8],[9]]=>4
[[1,2,5],[3,6],[4,7],[8],[9]]=>12
[[1,3,5],[2,4,6],[7],[8],[9]]=>12
[[1,2,3,5],[4,6],[7],[8],[9]]=>16
[[1,2,6],[3,7],[4,8],[5,9]]=>6
[[1,3,6],[2,4,7],[5,8],[9]]=>9
[[1,2,3,6],[4,7],[5,8],[9]]=>13
[[1,2,4,6],[3,5,7],[8],[9]]=>13
[[1,2,3,4,6],[5,7],[8],[9]]=>16
[[1,2,4,7],[3,5,8],[6,9]]=>9
[[1,2,3,4,7],[5,8],[6,9]]=>12
[[1,3,5,7],[2,4,6,8],[9]]=>6
[[1,2,3,5,7],[4,6,8],[9]]=>12
[[1,2,3,4,5,7],[6,8],[9]]=>14
[[1,2,4,6,8],[3,5,7,9]]=>4
[[1,2,3,4,6,8],[5,7,9]]=>9
[[1,2,3,4,5,6,8],[7,9]]=>10
[[1,2,3,4,9],[5,6],[7,8]]=>11
[[1,2,9],[3],[4],[5],[6],[7],[8]]=>6
[[1,2,4,5,6,7,8,9],[3]]=>1
[[1,2,5,6,7,8,9],[3],[4]]=>2
[[1,2,6,7,8,9],[3],[4],[5]]=>3
[[1,2,7,8,9],[3],[4],[5],[6]]=>4
[[1,2,8,9],[3],[4],[5],[6],[7]]=>5
[[1,2,3,4,7,8,9],[5,6]]=>5
[[1,2,4,5,8,9],[3,7],[6]]=>6
[[1,2,4,5,6,7],[3,9],[8]]=>10
[[1,2,5,6,9],[3,8],[4],[7]]=>7
[[1,2,3,4,7,8],[5,6],[9]]=>11
[[1,2,5,6,7,8],[3],[4],[9]]=>7
[[1,2,4,5],[3,7],[6,9],[8]]=>12
[[1,2,6,7],[3,9],[4],[5],[8]]=>8
[[1,2,5,6],[3,8],[4],[7],[9]]=>11
[[1,2,7,8],[3],[4],[5],[6],[9]]=>7
[[1,3,5,7,9],[2,4,6,8,10]]=>0
[[1,3,5,7,8],[2,4,6,9,10]]=>1
[[1,3,5,6,9],[2,4,7,8,10]]=>1
[[1,3,5,6,8],[2,4,7,9,10]]=>2
[[1,3,5,6,7],[2,4,8,9,10]]=>3
[[1,3,4,7,9],[2,5,6,8,10]]=>1
[[1,3,4,7,8],[2,5,6,9,10]]=>2
[[1,3,4,6,9],[2,5,7,8,10]]=>2
[[1,3,4,6,8],[2,5,7,9,10]]=>3
[[1,3,4,6,7],[2,5,8,9,10]]=>4
[[1,3,4,5,9],[2,6,7,8,10]]=>3
[[1,3,4,5,8],[2,6,7,9,10]]=>4
[[1,3,4,5,7],[2,6,8,9,10]]=>5
[[1,3,4,5,6],[2,7,8,9,10]]=>6
[[1,2,5,7,9],[3,4,6,8,10]]=>1
[[1,2,5,7,8],[3,4,6,9,10]]=>2
[[1,2,5,6,9],[3,4,7,8,10]]=>2
[[1,2,5,6,8],[3,4,7,9,10]]=>3
[[1,2,5,6,7],[3,4,8,9,10]]=>4
[[1,2,4,7,9],[3,5,6,8,10]]=>2
[[1,2,4,7,8],[3,5,6,9,10]]=>3
[[1,2,4,6,9],[3,5,7,8,10]]=>3
[[1,2,4,6,8],[3,5,7,9,10]]=>4
[[1,2,4,6,7],[3,5,8,9,10]]=>5
[[1,2,4,5,9],[3,6,7,8,10]]=>4
[[1,2,4,5,8],[3,6,7,9,10]]=>5
[[1,2,4,5,7],[3,6,8,9,10]]=>6
[[1,2,4,5,6],[3,7,8,9,10]]=>7
[[1,2,3,7,9],[4,5,6,8,10]]=>3
[[1,2,3,7,8],[4,5,6,9,10]]=>4
[[1,2,3,6,9],[4,5,7,8,10]]=>4
[[1,2,3,6,8],[4,5,7,9,10]]=>5
[[1,2,3,6,7],[4,5,8,9,10]]=>6
[[1,2,3,5,9],[4,6,7,8,10]]=>5
[[1,2,3,5,8],[4,6,7,9,10]]=>6
[[1,2,3,5,7],[4,6,8,9,10]]=>7
[[1,2,3,5,6],[4,7,8,9,10]]=>8
[[1,2,3,4,9],[5,6,7,8,10]]=>6
[[1,2,3,4,8],[5,6,7,9,10]]=>7
[[1,2,3,4,7],[5,6,8,9,10]]=>8
[[1,2,3,4,6],[5,7,8,9,10]]=>9
[[1,2,3,4,5],[6,7,8,9,10]]=>10
[[1,2,3,4,5,6,7,8,9,10]]=>0
[[1,2,3,4,5,6,7,8,9],[10]]=>8
[[1,2,3,4,5,6,7,8],[9,10]]=>13
[[1,2,3,4,5,6,7,8],[9],[10]]=>14
[[1,2,3,4,5,6,7],[8,9,10]]=>15
[[1,2,3,4,5,6,7],[8,9],[10]]=>18
[[1,2,3,4,5,6,7],[8],[9],[10]]=>18
[[1,2,3,4,5,6],[7,8,9,10]]=>14
[[1,2,3,4,5,6],[7,8,9],[10]]=>19
[[1,2,3,4,5,6],[7,8],[9,10]]=>19
[[1,2,3,4,5,6],[7,8],[9],[10]]=>21
[[1,2,3,4,5,6],[7],[8],[9],[10]]=>20
[[1,2,3,4,5],[6,7,8,9],[10]]=>17
[[1,2,3,4,5],[6,7,8],[9,10]]=>19
[[1,2,3,4,5],[6,7,8],[9],[10]]=>21
[[1,2,3,4,5],[6,7],[8,9],[10]]=>21
[[1,2,3,4,5],[6,7],[8],[9],[10]]=>22
[[1,2,3,4,5],[6],[7],[8],[9],[10]]=>20
[[1,2,3,4],[5,6,7,8],[9,10]]=>16
[[1,2,3,4],[5,6,7,8],[9],[10]]=>18
[[1,2,3,4],[5,6,7],[8,9,10]]=>15
[[1,2,3,4],[5,6,7],[8,9],[10]]=>20
[[1,2,3,4],[5,6,7],[8],[9],[10]]=>21
[[1,2,3,4],[5,6],[7,8],[9,10]]=>18
[[1,2,3,4],[5,6],[7,8],[9],[10]]=>21
[[1,2,3,4],[5,6],[7],[8],[9],[10]]=>21
[[1,2,3,4],[5],[6],[7],[8],[9],[10]]=>18
[[1,2,3],[4,5,6],[7,8,9],[10]]=>15
[[1,2,3],[4,5,6],[7,8],[9,10]]=>16
[[1,2,3],[4,5,6],[7,8],[9],[10]]=>19
[[1,2,3],[4,5,6],[7],[8],[9],[10]]=>19
[[1,2,3],[4,5],[6,7],[8,9],[10]]=>17
[[1,2,3],[4,5],[6,7],[8],[9],[10]]=>19
[[1,2,3],[4,5],[6],[7],[8],[9],[10]]=>18
[[1,2,3],[4],[5],[6],[7],[8],[9],[10]]=>14
[[1,2],[3,4],[5,6],[7,8],[9,10]]=>10
[[1,2],[3,4],[5,6],[7,8],[9],[10]]=>14
[[1,2],[3,4],[5,6],[7],[8],[9],[10]]=>15
[[1,2],[3,4],[5],[6],[7],[8],[9],[10]]=>13
[[1,2],[3],[4],[5],[6],[7],[8],[9],[10]]=>8
[[1],[2],[3],[4],[5],[6],[7],[8],[9],[10]]=>0
[[1,3,4,5,6,7,8,9,10],[2]]=>0
[[1,2,5,6,7,8,9,10],[3,4]]=>1
[[1,4,5,6,7,8,9,10],[2],[3]]=>0
[[1,2,3,7,8,9,10],[4,5,6]]=>3
[[1,3,6,7,8,9,10],[2,5],[4]]=>1
[[1,5,6,7,8,9,10],[2],[3],[4]]=>0
[[1,2,3,4,9,10],[5,6,7,8]]=>6
[[1,3,4,8,9,10],[2,6,7],[5]]=>3
[[1,2,7,8,9,10],[3,4],[5,6]]=>3
[[1,4,7,8,9,10],[2,6],[3],[5]]=>1
[[1,6,7,8,9,10],[2],[3],[4],[5]]=>0
[[1,3,4,5,10],[2,7,8,9],[6]]=>6
[[1,2,5,9,10],[3,4,8],[6,7]]=>5
[[1,4,5,9,10],[2,7,8],[3],[6]]=>3
[[1,3,8,9,10],[2,5],[4,7],[6]]=>3
[[1,5,8,9,10],[2,7],[3],[4],[6]]=>1
[[1,7,8,9,10],[2],[3],[4],[5],[6]]=>0
[[1,2,5,6],[3,4,9,10],[7,8]]=>8
[[1,4,5,6],[2,8,9,10],[3],[7]]=>6
[[1,2,3,10],[4,5,6],[7,8,9]]=>9
[[1,3,6,10],[2,5,9],[4,8],[7]]=>5
[[1,5,6,10],[2,8,9],[3],[4],[7]]=>3
[[1,2,9,10],[3,4],[5,6],[7,8]]=>6
[[1,4,9,10],[2,6],[3,8],[5],[7]]=>3
[[1,6,9,10],[2,8],[3],[4],[5],[7]]=>1
[[1,8,9,10],[2],[3],[4],[5],[6],[7]]=>0
[[1,3,4],[2,6,7],[5,9,10],[8]]=>9
[[1,2,7],[3,4,10],[5,6],[8,9]]=>8
[[1,4,7],[2,6,10],[3,9],[5],[8]]=>5
[[1,6,7],[2,9,10],[3],[4],[5],[8]]=>3
[[1,3,10],[2,5],[4,7],[6,9],[8]]=>6
[[1,5,10],[2,7],[3,9],[4],[6],[8]]=>3
[[1,7,10],[2,9],[3],[4],[5],[6],[8]]=>1
[[1,9,10],[2],[3],[4],[5],[6],[7],[8]]=>0
[[1,4],[2,6],[3,8],[5,10],[7],[9]]=>6
[[1,6],[2,8],[3,10],[4],[5],[7],[9]]=>3
[[1,8],[2,10],[3],[4],[5],[6],[7],[9]]=>1
[[1,10],[2],[3],[4],[5],[6],[7],[8],[9]]=>0
[[1,9],[2,10],[3],[4],[5],[6],[7],[8]]=>0
[[1,8],[2,9],[3,10],[4],[5],[6],[7]]=>0
[[1,8,10],[2,9],[3],[4],[5],[6],[7]]=>0
[[1,7],[2,8],[3,9],[4,10],[5],[6]]=>0
[[1,7,10],[2,8],[3,9],[4],[5],[6]]=>0
[[1,7,9],[2,8,10],[3],[4],[5],[6]]=>0
[[1,7,9,10],[2,8],[3],[4],[5],[6]]=>0
[[1,6],[2,7],[3,8],[4,9],[5,10]]=>0
[[1,6,10],[2,7],[3,8],[4,9],[5]]=>0
[[1,6,9],[2,7,10],[3,8],[4],[5]]=>0
[[1,6,9,10],[2,7],[3,8],[4],[5]]=>0
[[1,6,8,10],[2,7,9],[3],[4],[5]]=>0
[[1,6,8,9,10],[2,7],[3],[4],[5]]=>0
[[1,5,9],[2,6,10],[3,7],[4,8]]=>0
[[1,5,9,10],[2,6],[3,7],[4,8]]=>0
[[1,5,8],[2,6,9],[3,7,10],[4]]=>0
[[1,5,8,10],[2,6,9],[3,7],[4]]=>0
[[1,5,8,9,10],[2,6],[3,7],[4]]=>0
[[1,5,7,9],[2,6,8,10],[3],[4]]=>0
[[1,5,7,9,10],[2,6,8],[3],[4]]=>0
[[1,5,7,8,9,10],[2,6],[3],[4]]=>0
[[1,4,7,10],[2,5,8],[3,6,9]]=>0
[[1,4,7,9],[2,5,8,10],[3,6]]=>0
[[1,4,7,9,10],[2,5,8],[3,6]]=>0
[[1,4,7,8,9,10],[2,5],[3,6]]=>0
[[1,4,6,8,10],[2,5,7,9],[3]]=>0
[[1,4,6,8,9,10],[2,5,7],[3]]=>0
[[1,4,6,7,8,9,10],[2,5],[3]]=>0
[[1,3,5,7,9,10],[2,4,6,8]]=>0
[[1,3,5,7,8,9,10],[2,4,6]]=>0
[[1,3,5,6,7,8,9,10],[2,4]]=>0
[[1,3],[2,4],[5],[6],[7],[8],[9],[10]]=>12
[[1,4],[2,5],[3,6],[7],[8],[9],[10]]=>12
[[1,2,4],[3,5],[6],[7],[8],[9],[10]]=>17
[[1,5],[2,6],[3,7],[4,8],[9],[10]]=>8
[[1,2,5],[3,6],[4,7],[8],[9],[10]]=>16
[[1,3,5],[2,4,6],[7],[8],[9],[10]]=>16
[[1,2,3,5],[4,6],[7],[8],[9],[10]]=>20
[[1,2,6],[3,7],[4,8],[5,9],[10]]=>11
[[1,3,6],[2,4,7],[5,8],[9],[10]]=>14
[[1,2,3,6],[4,7],[5,8],[9],[10]]=>18
[[1,2,4,6],[3,5,7],[8],[9],[10]]=>18
[[1,2,3,4,6],[5,7],[8],[9],[10]]=>21
[[1,3,7],[2,4,8],[5,9],[6,10]]=>8
[[1,2,3,7],[4,8],[5,9],[6,10]]=>12
[[1,4,7],[2,5,8],[3,6,9],[10]]=>6
[[1,2,4,7],[3,5,8],[6,9],[10]]=>15
[[1,2,3,4,7],[5,8],[6,9],[10]]=>18
[[1,3,5,7],[2,4,6,8],[9],[10]]=>12
[[1,2,3,5,7],[4,6,8],[9],[10]]=>18
[[1,2,3,4,5,7],[6,8],[9],[10]]=>20
[[1,2,5,8],[3,6,9],[4,7,10]]=>6
[[1,3,5,8],[2,4,6,9],[7,10]]=>8
[[1,2,3,5,8],[4,6,9],[7,10]]=>14
[[1,2,3,4,5,8],[6,9],[7,10]]=>16
[[1,2,4,6,8],[3,5,7,9],[10]]=>11
[[1,2,3,4,6,8],[5,7,9],[10]]=>16
[[1,2,3,4,5,6,8],[7,9],[10]]=>17
[[1,2,3,5,7,9],[4,6,8,10]]=>8
[[1,2,3,4,5,7,9],[6,8,10]]=>12
[[1,2,3,4,5,6,7,9],[8,10]]=>12
[[1,2],[3,4],[5,6],[7,9],[8,10]]=>9
[[1,2],[3,4],[5,7],[6,8],[9,10]]=>9
[[1,2],[3,4],[5,7],[6,9],[8,10]]=>8
[[1,2],[3,4],[5,8],[6,9],[7,10]]=>7
[[1,2],[3,5],[4,6],[7,8],[9,10]]=>9
[[1,2],[3,5],[4,6],[7,9],[8,10]]=>8
[[1,2],[3,5],[4,7],[6,8],[9,10]]=>8
[[1,2],[3,5],[4,7],[6,9],[8,10]]=>7
[[1,2],[3,5],[4,8],[6,9],[7,10]]=>6
[[1,2],[3,6],[4,7],[5,8],[9,10]]=>7
[[1,2],[3,6],[4,7],[5,9],[8,10]]=>6
[[1,2],[3,6],[4,8],[5,9],[7,10]]=>5
[[1,2],[3,7],[4,8],[5,9],[6,10]]=>4
[[1,3],[2,4],[5,6],[7,8],[9,10]]=>9
[[1,3],[2,4],[5,6],[7,9],[8,10]]=>8
[[1,3],[2,4],[5,7],[6,8],[9,10]]=>8
[[1,3],[2,4],[5,7],[6,9],[8,10]]=>7
[[1,3],[2,4],[5,8],[6,9],[7,10]]=>6
[[1,3],[2,5],[4,6],[7,8],[9,10]]=>8
[[1,3],[2,5],[4,6],[7,9],[8,10]]=>7
[[1,3],[2,5],[4,7],[6,8],[9,10]]=>7
[[1,3],[2,5],[4,7],[6,9],[8,10]]=>6
[[1,3],[2,5],[4,8],[6,9],[7,10]]=>5
[[1,3],[2,6],[4,7],[5,8],[9,10]]=>6
[[1,3],[2,6],[4,7],[5,9],[8,10]]=>5
[[1,3],[2,6],[4,8],[5,9],[7,10]]=>4
[[1,3],[2,7],[4,8],[5,9],[6,10]]=>3
[[1,4],[2,5],[3,6],[7,8],[9,10]]=>7
[[1,4],[2,5],[3,6],[7,9],[8,10]]=>6
[[1,4],[2,5],[3,7],[6,8],[9,10]]=>6
[[1,4],[2,5],[3,7],[6,9],[8,10]]=>5
[[1,4],[2,5],[3,8],[6,9],[7,10]]=>4
[[1,4],[2,6],[3,7],[5,8],[9,10]]=>5
[[1,4],[2,6],[3,7],[5,9],[8,10]]=>4
[[1,4],[2,6],[3,8],[5,9],[7,10]]=>3
[[1,4],[2,7],[3,8],[5,9],[6,10]]=>2
[[1,5],[2,6],[3,7],[4,8],[9,10]]=>4
[[1,5],[2,6],[3,7],[4,9],[8,10]]=>3
[[1,5],[2,6],[3,8],[4,9],[7,10]]=>2
[[1,5],[2,7],[3,8],[4,9],[6,10]]=>1
[[1,2,3,4,5,6,7,8,10],[9]]=>7
[[1,2,3,4,5,6,10],[7,8,9]]=>12
[[1,2,10],[3],[4],[5],[6],[7],[8],[9]]=>7
[[1,2,4,5,6,7,8,9,10],[3]]=>1
[[1,2,4,6,8,10],[3,5,7,9]]=>4
[[1,2,4,6,8,9,10],[3,5,7]]=>3
[[1,2,4,6,7,8,10],[3,5,9]]=>5
[[1,2,4,6,7,9,10],[3,5,8]]=>4
[[1,2,4,6,7,8,9,10],[3,5]]=>2
[[1,2,4,5,6,8,10],[3,7,9]]=>7
[[1,2,4,5,6,9,10],[3,7,8]]=>6
[[1,2,4,5,7,8,10],[3,6,9]]=>6
[[1,2,4,5,7,9,10],[3,6,8]]=>5
[[1,2,4,5,7,8,9,10],[3,6]]=>3
[[1,2,4,5,6,7,8,10],[3,9]]=>6
[[1,2,4,5,6,7,9,10],[3,8]]=>5
[[1,2,4,5,6,8,9,10],[3,7]]=>4
[[1,2,3,4,6,8,10],[5,7,9]]=>9
[[1,2,3,4,6,9,10],[5,7,8]]=>8
[[1,2,3,4,7,8,10],[5,6,9]]=>8
[[1,2,3,4,7,9,10],[5,6,8]]=>7
[[1,2,3,4,7,8,9,10],[5,6]]=>5
[[1,2,3,5,6,8,10],[4,7,9]]=>8
[[1,2,3,5,6,9,10],[4,7,8]]=>7
[[1,2,3,5,7,8,10],[4,6,9]]=>7
[[1,2,3,5,7,9,10],[4,6,8]]=>6
[[1,2,3,5,7,8,9,10],[4,6]]=>4
[[1,2,3,5,6,7,8,10],[4,9]]=>7
[[1,2,3,5,6,7,9,10],[4,8]]=>6
[[1,2,3,5,6,8,9,10],[4,7]]=>5
[[1,2,3,5,6,7,8,9,10],[4]]=>2
[[1,2,3,4,5,6,8,10],[7,9]]=>10
[[1,2,3,4,5,6,9,10],[7,8]]=>9
[[1,2,3,4,5,7,8,10],[6,9]]=>9
[[1,2,3,4,5,7,9,10],[6,8]]=>8
[[1,2,3,4,5,8,9,10],[6,7]]=>7
[[1,2,3,4,6,7,8,10],[5,9]]=>8
[[1,2,3,4,6,7,9,10],[5,8]]=>7
[[1,2,3,4,6,8,9,10],[5,7]]=>6
[[1,2,3,4,6,7,8,9,10],[5]]=>3
[[1,2,3,4,5,6,7,9,10],[8]]=>6
[[1,2,3,4,5,6,8,9,10],[7]]=>5
[[1,2,3,4,5,7,8,9,10],[6]]=>4
[[1,2,5,6,7,8,9,10],[3],[4]]=>2
[[1,2,6,7,8,9,10],[3],[4],[5]]=>3
[[1,2,7,8,9,10],[3],[4],[5],[6]]=>4
[[1,2,8,9,10],[3],[4],[5],[6],[7]]=>5
[[1,2,9,10],[3],[4],[5],[6],[7],[8]]=>6
[[1,2,4,5,8,9,10],[3,7],[6]]=>6
[[1,2,4,5,6,7],[3,9,10],[8]]=>13
[[1,2,3,4,9,10],[5,6],[7,8]]=>11
[[1,2,5,6,9,10],[3,8],[4],[7]]=>7
[[1,2,4,5,6,7,8,9],[3],[10]]=>8
[[1,2,3,4,7,8],[5,6],[9,10]]=>15
[[1,2,5,6,7,8],[3,10],[4],[9]]=>11
[[1,2,4,5,10],[3,7],[6,9],[8]]=>12
[[1,2,6,7,10],[3,9],[4],[5],[8]]=>8
[[1,2,4,5,8,9],[3,7],[6],[10]]=>12
[[1,2,6,7,8,9],[3],[4],[5],[10]]=>8
[[1,2,5,6],[3,8],[4,10],[7],[9]]=>13
[[1,2,7,8],[3,10],[4],[5],[6],[9]]=>9
[[1,2,4,5],[3,7],[6,9],[8],[10]]=>17
[[1,2,6,7],[3,9],[4],[5],[8],[10]]=>12
[[1,2,8,9],[3],[4],[5],[6],[7],[10]]=>8
[[1,2,3,4,5],[6,7,8,9],[10,11]]=>22
[[1,2,3,4,5],[6,7,8,9],[10],[11]]=>24
[[1,2,3,4,5],[6,7,8],[9,10,11]]=>21
[[1,2,3,4,5],[6,7,8],[9,10],[11]]=>26
[[1,2,3,4,5],[6,7,8],[9],[10],[11]]=>27
[[1,2,3,4,5],[6,7],[8,9],[10,11]]=>24
[[1,2,3,4,5],[6,7],[8,9],[10],[11]]=>27
[[1,2,3,4],[5,6,7,8],[9,10,11]]=>18
[[1,2,3,4],[5,6,7,8],[9,10],[11]]=>23
[[1,2,3,4],[5,6,7,8],[9],[10],[11]]=>24
[[1,2,3,4],[5,6,7],[8,9,10],[11]]=>22
[[1,2,3,4],[5,6,7],[8,9],[10,11]]=>23
[[1,2,3,4],[5,6,7],[8,9],[10],[11]]=>26
[[1,2,3,4],[5,6],[7,8],[9,10],[11]]=>24
[[1,2,3],[4,5,6],[7,8,9],[10,11]]=>18
[[1,2,3],[4,5,6],[7,8,9],[10],[11]]=>21
[[1,2,3],[4,5,6],[7,8],[9,10],[11]]=>22
[[1,2,5,6,11],[3,4,9,10],[7,8]]=>8
[[1,4,5,6,11],[2,8,9,10],[3],[7]]=>6
[[1,2,3,10,11],[4,5,6],[7,8,9]]=>9
[[1,3,6,10,11],[2,5,9],[4,8],[7]]=>5
[[1,5,6,10,11],[2,8,9],[3],[4],[7]]=>3
[[1,2,9,10,11],[3,4],[5,6],[7,8]]=>6
[[1,4,9,10,11],[2,6],[3,8],[5],[7]]=>3
[[1,2,3,7],[4,5,6,11],[8,9,10]]=>12
[[1,3,6,7],[2,5,10,11],[4,9],[8]]=>8
[[1,5,6,7],[2,9,10,11],[3],[4],[8]]=>6
[[1,3,4,11],[2,6,7],[5,9,10],[8]]=>9
[[1,2,7,11],[3,4,10],[5,6],[8,9]]=>8
[[1,4,7,11],[2,6,10],[3,9],[5],[8]]=>5
[[1,3,10,11],[2,5],[4,7],[6,9],[8]]=>6
[[1,2,5],[3,4,8],[6,7,11],[9,10]]=>12
[[1,4,5],[2,7,8],[3,10,11],[6],[9]]=>9
[[1,3,8],[2,5,11],[4,7],[6,10],[9]]=>8
[[1,3,5,7,9,11],[2,4,6,8,10,12]]=>0
[[1,3,5,7,9,10],[2,4,6,8,11,12]]=>1
[[1,3,5,7,8,11],[2,4,6,9,10,12]]=>1
[[1,3,5,7,8,10],[2,4,6,9,11,12]]=>2
[[1,3,5,7,8,9],[2,4,6,10,11,12]]=>3
[[1,3,5,6,9,11],[2,4,7,8,10,12]]=>1
[[1,3,5,6,9,10],[2,4,7,8,11,12]]=>2
[[1,3,5,6,8,11],[2,4,7,9,10,12]]=>2
[[1,3,5,6,8,10],[2,4,7,9,11,12]]=>3
[[1,3,5,6,8,9],[2,4,7,10,11,12]]=>4
[[1,3,5,6,7,11],[2,4,8,9,10,12]]=>3
[[1,3,5,6,7,10],[2,4,8,9,11,12]]=>4
[[1,3,5,6,7,9],[2,4,8,10,11,12]]=>5
[[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]]=>1
[[1,3,4,7,9,10],[2,5,6,8,11,12]]=>2
[[1,3,4,7,8,11],[2,5,6,9,10,12]]=>2
[[1,3,4,7,8,10],[2,5,6,9,11,12]]=>3
[[1,3,4,7,8,9],[2,5,6,10,11,12]]=>4
[[1,3,4,6,9,11],[2,5,7,8,10,12]]=>2
[[1,3,4,6,9,10],[2,5,7,8,11,12]]=>3
[[1,3,4,6,8,11],[2,5,7,9,10,12]]=>3
[[1,3,4,6,8,10],[2,5,7,9,11,12]]=>4
[[1,3,4,6,8,9],[2,5,7,10,11,12]]=>5
[[1,3,4,6,7,11],[2,5,8,9,10,12]]=>4
[[1,3,4,6,7,10],[2,5,8,9,11,12]]=>5
[[1,3,4,6,7,9],[2,5,8,10,11,12]]=>6
[[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]]=>3
[[1,3,4,5,9,10],[2,6,7,8,11,12]]=>4
[[1,3,4,5,8,11],[2,6,7,9,10,12]]=>4
[[1,3,4,5,8,10],[2,6,7,9,11,12]]=>5
[[1,3,4,5,8,9],[2,6,7,10,11,12]]=>6
[[1,3,4,5,7,11],[2,6,8,9,10,12]]=>5
[[1,3,4,5,7,10],[2,6,8,9,11,12]]=>6
[[1,3,4,5,7,9],[2,6,8,10,11,12]]=>7
[[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]]=>6
[[1,3,4,5,6,10],[2,7,8,9,11,12]]=>7
[[1,3,4,5,6,9],[2,7,8,10,11,12]]=>8
[[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]]=>10
[[1,2,5,7,9,11],[3,4,6,8,10,12]]=>1
[[1,2,5,7,9,10],[3,4,6,8,11,12]]=>2
[[1,2,5,7,8,11],[3,4,6,9,10,12]]=>2
[[1,2,5,7,8,10],[3,4,6,9,11,12]]=>3
[[1,2,5,7,8,9],[3,4,6,10,11,12]]=>4
[[1,2,5,6,9,11],[3,4,7,8,10,12]]=>2
[[1,2,5,6,9,10],[3,4,7,8,11,12]]=>3
[[1,2,5,6,8,11],[3,4,7,9,10,12]]=>3
[[1,2,5,6,8,10],[3,4,7,9,11,12]]=>4
[[1,2,5,6,8,9],[3,4,7,10,11,12]]=>5
[[1,2,5,6,7,11],[3,4,8,9,10,12]]=>4
[[1,2,5,6,7,10],[3,4,8,9,11,12]]=>5
[[1,2,5,6,7,9],[3,4,8,10,11,12]]=>6
[[1,2,5,6,7,8],[3,4,9,10,11,12]]=>7
[[1,2,4,7,9,11],[3,5,6,8,10,12]]=>2
[[1,2,4,7,9,10],[3,5,6,8,11,12]]=>3
[[1,2,4,7,8,11],[3,5,6,9,10,12]]=>3
[[1,2,4,7,8,10],[3,5,6,9,11,12]]=>4
[[1,2,4,7,8,9],[3,5,6,10,11,12]]=>5
[[1,2,4,6,9,11],[3,5,7,8,10,12]]=>3
[[1,2,4,6,9,10],[3,5,7,8,11,12]]=>4
[[1,2,4,6,8,11],[3,5,7,9,10,12]]=>4
[[1,2,4,6,8,10],[3,5,7,9,11,12]]=>5
[[1,2,4,6,8,9],[3,5,7,10,11,12]]=>6
[[1,2,4,6,7,11],[3,5,8,9,10,12]]=>5
[[1,2,4,6,7,10],[3,5,8,9,11,12]]=>6
[[1,2,4,6,7,9],[3,5,8,10,11,12]]=>7
[[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]]=>4
[[1,2,4,5,9,10],[3,6,7,8,11,12]]=>5
[[1,2,4,5,8,11],[3,6,7,9,10,12]]=>5
[[1,2,4,5,8,10],[3,6,7,9,11,12]]=>6
[[1,2,4,5,8,9],[3,6,7,10,11,12]]=>7
[[1,2,4,5,7,11],[3,6,8,9,10,12]]=>6
[[1,2,4,5,7,10],[3,6,8,9,11,12]]=>7
[[1,2,4,5,7,9],[3,6,8,10,11,12]]=>8
[[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]]=>7
[[1,2,4,5,6,10],[3,7,8,9,11,12]]=>8
[[1,2,4,5,6,9],[3,7,8,10,11,12]]=>9
[[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]]=>11
[[1,2,3,7,9,11],[4,5,6,8,10,12]]=>3
[[1,2,3,7,9,10],[4,5,6,8,11,12]]=>4
[[1,2,3,7,8,11],[4,5,6,9,10,12]]=>4
[[1,2,3,7,8,10],[4,5,6,9,11,12]]=>5
[[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]]=>4
[[1,2,3,6,9,10],[4,5,7,8,11,12]]=>5
[[1,2,3,6,8,11],[4,5,7,9,10,12]]=>5
[[1,2,3,6,8,10],[4,5,7,9,11,12]]=>6
[[1,2,3,6,8,9],[4,5,7,10,11,12]]=>7
[[1,2,3,6,7,11],[4,5,8,9,10,12]]=>6
[[1,2,3,6,7,10],[4,5,8,9,11,12]]=>7
[[1,2,3,6,7,9],[4,5,8,10,11,12]]=>8
[[1,2,3,6,7,8],[4,5,9,10,11,12]]=>9
[[1,2,3,5,9,11],[4,6,7,8,10,12]]=>5
[[1,2,3,5,9,10],[4,6,7,8,11,12]]=>6
[[1,2,3,5,8,11],[4,6,7,9,10,12]]=>6
[[1,2,3,5,8,10],[4,6,7,9,11,12]]=>7
[[1,2,3,5,8,9],[4,6,7,10,11,12]]=>8
[[1,2,3,5,7,11],[4,6,8,9,10,12]]=>7
[[1,2,3,5,7,10],[4,6,8,9,11,12]]=>8
[[1,2,3,5,7,9],[4,6,8,10,11,12]]=>9
[[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]]=>8
[[1,2,3,5,6,10],[4,7,8,9,11,12]]=>9
[[1,2,3,5,6,9],[4,7,8,10,11,12]]=>10
[[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]]=>12
[[1,2,3,4,9,11],[5,6,7,8,10,12]]=>6
[[1,2,3,4,9,10],[5,6,7,8,11,12]]=>7
[[1,2,3,4,8,11],[5,6,7,9,10,12]]=>7
[[1,2,3,4,8,10],[5,6,7,9,11,12]]=>8
[[1,2,3,4,8,9],[5,6,7,10,11,12]]=>9
[[1,2,3,4,7,11],[5,6,8,9,10,12]]=>8
[[1,2,3,4,7,10],[5,6,8,9,11,12]]=>9
[[1,2,3,4,7,9],[5,6,8,10,11,12]]=>10
[[1,2,3,4,7,8],[5,6,9,10,11,12]]=>11
[[1,2,3,4,6,11],[5,7,8,9,10,12]]=>9
[[1,2,3,4,6,10],[5,7,8,9,11,12]]=>10
[[1,2,3,4,6,9],[5,7,8,10,11,12]]=>11
[[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]]=>13
[[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]]=>11
[[1,2,3,4,5,9],[6,7,8,10,11,12]]=>12
[[1,2,3,4,5,8],[6,7,9,10,11,12]]=>13
[[1,2,3,4,5,7],[6,8,9,10,11,12]]=>14
[[1,2,3,4,5,6],[7,8,9,10,11,12]]=>15
[[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]]=>28
[[1,2,3,4,5],[6,7,8,9],[10,11,12]]=>25
[[1,2,3,4,5],[6,7,8,9],[10,11],[12]]=>30
[[1,2,3,4,5],[6,7,8,9],[10],[11],[12]]=>31
[[1,2,3,4,5],[6,7,8],[9,10,11],[12]]=>29
[[1,2,3,4,5],[6,7,8],[9,10],[11,12]]=>30
[[1,2,3,4,5],[6,7,8],[9,10],[11],[12]]=>33
[[1,2,3,4,5],[6,7],[8,9],[10,11],[12]]=>31
[[1,2,3,4],[5,6,7,8],[9,10,11],[12]]=>26
[[1,2,3,4],[5,6,7,8],[9,10],[11,12]]=>27
[[1,2,3,4],[5,6,7,8],[9,10],[11],[12]]=>30
[[1,2,3,4],[5,6,7],[8,9,10],[11,12]]=>26
[[1,2,3,4],[5,6,7],[8,9,10],[11],[12]]=>29
[[1,2,3,4],[5,6,7],[8,9],[10,11],[12]]=>30
[[1,2,3],[4,5,6],[7,8,9],[10,11],[12]]=>25
[[1,2,3],[4,5,6],[7,8],[9,10],[11],[12]]=>28
[[1,2],[3,4],[5,6],[7,8],[9,10],[11,12]]=>15
[[1,2,5,6,11,12],[3,4,9,10],[7,8]]=>8
[[1,2,3,7,12],[4,5,6,11],[8,9,10]]=>12
[[1,3,6,7,12],[2,5,10,11],[4,9],[8]]=>8
[[1,5,6,7,12],[2,9,10,11],[3],[4],[8]]=>6
[[1,3,4,11,12],[2,6,7],[5,9,10],[8]]=>9
[[1,2,7,11,12],[3,4,10],[5,6],[8,9]]=>8
[[1,4,7,11,12],[2,6,10],[3,9],[5],[8]]=>5
[[1,3,10,11,12],[2,5],[4,7],[6,9],[8]]=>6
[[1,3,4,8],[2,6,7,12],[5,10,11],[9]]=>12
[[1,2,7,8],[3,4,11,12],[5,6],[9,10]]=>11
[[1,4,7,8],[2,6,11,12],[3,10],[5],[9]]=>8
[[1,2,5,12],[3,4,8],[6,7,11],[9,10]]=>12
[[1,4,5,12],[2,7,8],[3,10,11],[6],[9]]=>9
[[1,3,8,12],[2,5,11],[4,7],[6,10],[9]]=>8
[[1,3,6],[2,5,9],[4,8,12],[7,11],[10]]=>12
[[1,4,9],[2,6,12],[3,8],[5,11],[7],[10]]=>8
[[1,2],[3,4],[5,6],[7,8],[9,11],[10,12]]=>14
[[1,2],[3,4],[5,6],[7,9],[8,10],[11,12]]=>14
[[1,2],[3,4],[5,6],[7,9],[8,11],[10,12]]=>13
[[1,2],[3,4],[5,6],[7,10],[8,11],[9,12]]=>12
[[1,2],[3,4],[5,7],[6,8],[9,10],[11,12]]=>14
[[1,2],[3,4],[5,7],[6,8],[9,11],[10,12]]=>13
[[1,2],[3,4],[5,7],[6,9],[8,10],[11,12]]=>13
[[1,2],[3,4],[5,7],[6,9],[8,11],[10,12]]=>12
[[1,2],[3,4],[5,7],[6,10],[8,11],[9,12]]=>11
[[1,2],[3,4],[5,8],[6,9],[7,10],[11,12]]=>12
[[1,2],[3,4],[5,8],[6,9],[7,11],[10,12]]=>11
[[1,2],[3,4],[5,8],[6,10],[7,11],[9,12]]=>10
[[1,2],[3,4],[5,9],[6,10],[7,11],[8,12]]=>9
[[1,2],[3,5],[4,6],[7,8],[9,10],[11,12]]=>14
[[1,2],[3,5],[4,6],[7,8],[9,11],[10,12]]=>13
[[1,2],[3,5],[4,6],[7,9],[8,10],[11,12]]=>13
[[1,2],[3,5],[4,6],[7,9],[8,11],[10,12]]=>12
[[1,2],[3,5],[4,6],[7,10],[8,11],[9,12]]=>11
[[1,2],[3,5],[4,7],[6,8],[9,10],[11,12]]=>13
[[1,2],[3,5],[4,7],[6,8],[9,11],[10,12]]=>12
[[1,2],[3,5],[4,7],[6,9],[8,10],[11,12]]=>12
[[1,2],[3,5],[4,7],[6,9],[8,11],[10,12]]=>11
[[1,2],[3,5],[4,7],[6,10],[8,11],[9,12]]=>10
[[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]]=>10
[[1,2],[3,5],[4,8],[6,10],[7,11],[9,12]]=>9
[[1,2],[3,5],[4,9],[6,10],[7,11],[8,12]]=>8
[[1,2],[3,6],[4,7],[5,8],[9,10],[11,12]]=>12
[[1,2],[3,6],[4,7],[5,8],[9,11],[10,12]]=>11
[[1,2],[3,6],[4,7],[5,9],[8,10],[11,12]]=>11
[[1,2],[3,6],[4,7],[5,9],[8,11],[10,12]]=>10
[[1,2],[3,6],[4,7],[5,10],[8,11],[9,12]]=>9
[[1,2],[3,6],[4,8],[5,9],[7,10],[11,12]]=>10
[[1,2],[3,6],[4,8],[5,9],[7,11],[10,12]]=>9
[[1,2],[3,6],[4,8],[5,10],[7,11],[9,12]]=>8
[[1,2],[3,6],[4,9],[5,10],[7,11],[8,12]]=>7
[[1,2],[3,7],[4,8],[5,9],[6,10],[11,12]]=>9
[[1,2],[3,7],[4,8],[5,9],[6,11],[10,12]]=>8
[[1,2],[3,7],[4,8],[5,10],[6,11],[9,12]]=>7
[[1,2],[3,7],[4,9],[5,10],[6,11],[8,12]]=>6
[[1,2],[3,8],[4,9],[5,10],[6,11],[7,12]]=>5
[[1,3],[2,4],[5,6],[7,8],[9,10],[11,12]]=>14
[[1,3],[2,4],[5,6],[7,8],[9,11],[10,12]]=>13
[[1,3],[2,4],[5,6],[7,9],[8,10],[11,12]]=>13
[[1,3],[2,4],[5,6],[7,9],[8,11],[10,12]]=>12
[[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]]=>13
[[1,3],[2,4],[5,7],[6,8],[9,11],[10,12]]=>12
[[1,3],[2,4],[5,7],[6,9],[8,10],[11,12]]=>12
[[1,3],[2,4],[5,7],[6,9],[8,11],[10,12]]=>11
[[1,3],[2,4],[5,7],[6,10],[8,11],[9,12]]=>10
[[1,3],[2,4],[5,8],[6,9],[7,10],[11,12]]=>11
[[1,3],[2,4],[5,8],[6,9],[7,11],[10,12]]=>10
[[1,3],[2,4],[5,8],[6,10],[7,11],[9,12]]=>9
[[1,3],[2,4],[5,9],[6,10],[7,11],[8,12]]=>8
[[1,3],[2,5],[4,6],[7,8],[9,10],[11,12]]=>13
[[1,3],[2,5],[4,6],[7,8],[9,11],[10,12]]=>12
[[1,3],[2,5],[4,6],[7,9],[8,10],[11,12]]=>12
[[1,3],[2,5],[4,6],[7,9],[8,11],[10,12]]=>11
[[1,3],[2,5],[4,6],[7,10],[8,11],[9,12]]=>10
[[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]]=>11
[[1,3],[2,5],[4,7],[6,9],[8,10],[11,12]]=>11
[[1,3],[2,5],[4,7],[6,9],[8,11],[10,12]]=>10
[[1,3],[2,5],[4,7],[6,10],[8,11],[9,12]]=>9
[[1,3],[2,5],[4,8],[6,9],[7,10],[11,12]]=>10
[[1,3],[2,5],[4,8],[6,9],[7,11],[10,12]]=>9
[[1,3],[2,5],[4,8],[6,10],[7,11],[9,12]]=>8
[[1,3],[2,5],[4,9],[6,10],[7,11],[8,12]]=>7
[[1,3],[2,6],[4,7],[5,8],[9,10],[11,12]]=>11
[[1,3],[2,6],[4,7],[5,8],[9,11],[10,12]]=>10
[[1,3],[2,6],[4,7],[5,9],[8,10],[11,12]]=>10
[[1,3],[2,6],[4,7],[5,9],[8,11],[10,12]]=>9
[[1,3],[2,6],[4,7],[5,10],[8,11],[9,12]]=>8
[[1,3],[2,6],[4,8],[5,9],[7,10],[11,12]]=>9
[[1,3],[2,6],[4,8],[5,9],[7,11],[10,12]]=>8
[[1,3],[2,6],[4,8],[5,10],[7,11],[9,12]]=>7
[[1,3],[2,6],[4,9],[5,10],[7,11],[8,12]]=>6
[[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]]=>7
[[1,3],[2,7],[4,8],[5,10],[6,11],[9,12]]=>6
[[1,3],[2,7],[4,9],[5,10],[6,11],[8,12]]=>5
[[1,3],[2,8],[4,9],[5,10],[6,11],[7,12]]=>4
[[1,4],[2,5],[3,6],[7,8],[9,10],[11,12]]=>12
[[1,4],[2,5],[3,6],[7,8],[9,11],[10,12]]=>11
[[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]]=>10
[[1,4],[2,5],[3,6],[7,10],[8,11],[9,12]]=>9
[[1,4],[2,5],[3,7],[6,8],[9,10],[11,12]]=>11
[[1,4],[2,5],[3,7],[6,8],[9,11],[10,12]]=>10
[[1,4],[2,5],[3,7],[6,9],[8,10],[11,12]]=>10
[[1,4],[2,5],[3,7],[6,9],[8,11],[10,12]]=>9
[[1,4],[2,5],[3,7],[6,10],[8,11],[9,12]]=>8
[[1,4],[2,5],[3,8],[6,9],[7,10],[11,12]]=>9
[[1,4],[2,5],[3,8],[6,9],[7,11],[10,12]]=>8
[[1,4],[2,5],[3,8],[6,10],[7,11],[9,12]]=>7
[[1,4],[2,5],[3,9],[6,10],[7,11],[8,12]]=>6
[[1,4],[2,6],[3,7],[5,8],[9,10],[11,12]]=>10
[[1,4],[2,6],[3,7],[5,8],[9,11],[10,12]]=>9
[[1,4],[2,6],[3,7],[5,9],[8,10],[11,12]]=>9
[[1,4],[2,6],[3,7],[5,9],[8,11],[10,12]]=>8
[[1,4],[2,6],[3,7],[5,10],[8,11],[9,12]]=>7
[[1,4],[2,6],[3,8],[5,9],[7,10],[11,12]]=>8
[[1,4],[2,6],[3,8],[5,9],[7,11],[10,12]]=>7
[[1,4],[2,6],[3,8],[5,10],[7,11],[9,12]]=>6
[[1,4],[2,6],[3,9],[5,10],[7,11],[8,12]]=>5
[[1,4],[2,7],[3,8],[5,9],[6,10],[11,12]]=>7
[[1,4],[2,7],[3,8],[5,9],[6,11],[10,12]]=>6
[[1,4],[2,7],[3,8],[5,10],[6,11],[9,12]]=>5
[[1,4],[2,7],[3,9],[5,10],[6,11],[8,12]]=>4
[[1,4],[2,8],[3,9],[5,10],[6,11],[7,12]]=>3
[[1,5],[2,6],[3,7],[4,8],[9,10],[11,12]]=>9
[[1,5],[2,6],[3,7],[4,8],[9,11],[10,12]]=>8
[[1,5],[2,6],[3,7],[4,9],[8,10],[11,12]]=>8
[[1,5],[2,6],[3,7],[4,9],[8,11],[10,12]]=>7
[[1,5],[2,6],[3,7],[4,10],[8,11],[9,12]]=>6
[[1,5],[2,6],[3,8],[4,9],[7,10],[11,12]]=>7
[[1,5],[2,6],[3,8],[4,9],[7,11],[10,12]]=>6
[[1,5],[2,6],[3,8],[4,10],[7,11],[9,12]]=>5
[[1,5],[2,6],[3,9],[4,10],[7,11],[8,12]]=>4
[[1,5],[2,7],[3,8],[4,9],[6,10],[11,12]]=>6
[[1,5],[2,7],[3,8],[4,9],[6,11],[10,12]]=>5
[[1,5],[2,7],[3,8],[4,10],[6,11],[9,12]]=>4
[[1,5],[2,7],[3,9],[4,10],[6,11],[8,12]]=>3
[[1,5],[2,8],[3,9],[4,10],[6,11],[7,12]]=>2
[[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]]=>4
[[1,6],[2,7],[3,8],[4,10],[5,11],[9,12]]=>3
[[1,6],[2,7],[3,9],[4,10],[5,11],[8,12]]=>2
[[1,6],[2,8],[3,9],[4,10],[5,11],[7,12]]=>1
[[1,7],[2,8],[3,9],[4,10],[5,11],[6,12]]=>0
[[1,2,4,6,8,10,12],[3,5,7,9,11]]=>5
[[1,2,4,6,8,10,11,12],[3,5,7,9]]=>4
[[1,2,4,6,8,9,10,12],[3,5,7,11]]=>6
[[1,2,4,6,8,9,11,12],[3,5,7,10]]=>5
[[1,2,4,6,8,9,10,11,12],[3,5,7]]=>3
[[1,2,4,6,7,8,10,12],[3,5,9,11]]=>8
[[1,2,4,6,7,8,11,12],[3,5,9,10]]=>7
[[1,2,4,6,7,9,10,12],[3,5,8,11]]=>7
[[1,2,4,6,7,9,11,12],[3,5,8,10]]=>6
[[1,2,4,6,7,9,10,11,12],[3,5,8]]=>4
[[1,2,4,6,7,8,9,10,12],[3,5,11]]=>7
[[1,2,4,6,7,8,9,11,12],[3,5,10]]=>6
[[1,2,4,6,7,8,10,11,12],[3,5,9]]=>5
[[1,2,4,6,7,8,9,10,11,12],[3,5]]=>2
[[1,2,4,5,6,8,10,12],[3,7,9,11]]=>10
[[1,2,4,5,6,8,11,12],[3,7,9,10]]=>9
[[1,2,4,5,6,9,10,12],[3,7,8,11]]=>9
[[1,2,4,5,6,9,11,12],[3,7,8,10]]=>8
[[1,2,4,5,6,9,10,11,12],[3,7,8]]=>6
[[1,2,4,5,7,8,10,12],[3,6,9,11]]=>9
[[1,2,4,5,7,8,11,12],[3,6,9,10]]=>8
[[1,2,4,5,7,9,10,12],[3,6,8,11]]=>8
[[1,2,4,5,7,9,11,12],[3,6,8,10]]=>7
[[1,2,4,5,7,9,10,11,12],[3,6,8]]=>5
[[1,2,4,5,7,8,9,10,12],[3,6,11]]=>8
[[1,2,4,5,7,8,9,11,12],[3,6,10]]=>7
[[1,2,4,5,7,8,10,11,12],[3,6,9]]=>6
[[1,2,4,5,7,8,9,10,11,12],[3,6]]=>3
[[1,2,4,5,6,7,8,10,12],[3,9,11]]=>11
[[1,2,4,5,6,7,8,11,12],[3,9,10]]=>10
[[1,2,4,5,6,7,9,10,12],[3,8,11]]=>10
[[1,2,4,5,6,7,9,11,12],[3,8,10]]=>9
[[1,2,4,5,6,7,10,11,12],[3,8,9]]=>8
[[1,2,4,5,6,8,9,10,12],[3,7,11]]=>9
[[1,2,4,5,6,8,9,11,12],[3,7,10]]=>8
[[1,2,4,5,6,8,10,11,12],[3,7,9]]=>7
[[1,2,4,5,6,8,9,10,11,12],[3,7]]=>4
[[1,2,4,5,6,7,8,9,10,12],[3,11]]=>8
[[1,2,4,5,6,7,8,9,11,12],[3,10]]=>7
[[1,2,4,5,6,7,8,10,11,12],[3,9]]=>6
[[1,2,4,5,6,7,9,10,11,12],[3,8]]=>5
[[1,2,4,5,6,7,8,9,10,11,12],[3]]=>1
[[1,2,3,4,6,8,10,12],[5,7,9,11]]=>12
[[1,2,3,4,6,8,11,12],[5,7,9,10]]=>11
[[1,2,3,4,6,9,10,12],[5,7,8,11]]=>11
[[1,2,3,4,6,9,11,12],[5,7,8,10]]=>10
[[1,2,3,4,6,9,10,11,12],[5,7,8]]=>8
[[1,2,3,4,7,8,10,12],[5,6,9,11]]=>11
[[1,2,3,4,7,8,11,12],[5,6,9,10]]=>10
[[1,2,3,4,7,9,10,12],[5,6,8,11]]=>10
[[1,2,3,4,7,9,11,12],[5,6,8,10]]=>9
[[1,2,3,4,7,9,10,11,12],[5,6,8]]=>7
[[1,2,3,4,7,8,9,10,12],[5,6,11]]=>10
[[1,2,3,4,7,8,9,11,12],[5,6,10]]=>9
[[1,2,3,4,7,8,10,11,12],[5,6,9]]=>8
[[1,2,3,4,7,8,9,10,11,12],[5,6]]=>5
[[1,2,3,5,6,8,10,12],[4,7,9,11]]=>11
[[1,2,3,5,6,8,11,12],[4,7,9,10]]=>10
[[1,2,3,5,6,9,10,12],[4,7,8,11]]=>10
[[1,2,3,5,6,9,11,12],[4,7,8,10]]=>9
[[1,2,3,5,6,9,10,11,12],[4,7,8]]=>7
[[1,2,3,5,7,8,10,12],[4,6,9,11]]=>10
[[1,2,3,5,7,8,11,12],[4,6,9,10]]=>9
[[1,2,3,5,7,9,10,12],[4,6,8,11]]=>9
[[1,2,3,5,7,9,11,12],[4,6,8,10]]=>8
[[1,2,3,5,7,9,10,11,12],[4,6,8]]=>6
[[1,2,3,5,7,8,9,10,12],[4,6,11]]=>9
[[1,2,3,5,7,8,9,11,12],[4,6,10]]=>8
[[1,2,3,5,7,8,10,11,12],[4,6,9]]=>7
[[1,2,3,5,7,8,9,10,11,12],[4,6]]=>4
[[1,2,3,5,6,7,8,10,12],[4,9,11]]=>12
[[1,2,3,5,6,7,8,11,12],[4,9,10]]=>11
[[1,2,3,5,6,7,9,10,12],[4,8,11]]=>11
[[1,2,3,5,6,7,9,11,12],[4,8,10]]=>10
[[1,2,3,5,6,7,10,11,12],[4,8,9]]=>9
[[1,2,3,5,6,8,9,10,12],[4,7,11]]=>10
[[1,2,3,5,6,8,9,11,12],[4,7,10]]=>9
[[1,2,3,5,6,8,10,11,12],[4,7,9]]=>8
[[1,2,3,5,6,8,9,10,11,12],[4,7]]=>5
[[1,2,3,5,6,7,8,9,10,12],[4,11]]=>9
[[1,2,3,5,6,7,8,9,11,12],[4,10]]=>8
[[1,2,3,5,6,7,8,10,11,12],[4,9]]=>7
[[1,2,3,5,6,7,9,10,11,12],[4,8]]=>6
[[1,2,3,5,6,7,8,9,10,11,12],[4]]=>2
[[1,2,3,4,5,6,8,10,12],[7,9,11]]=>15
[[1,2,3,4,5,6,8,11,12],[7,9,10]]=>14
[[1,2,3,4,5,6,9,10,12],[7,8,11]]=>14
[[1,2,3,4,5,6,9,11,12],[7,8,10]]=>13
[[1,2,3,4,5,6,10,11,12],[7,8,9]]=>12
[[1,2,3,4,5,7,8,10,12],[6,9,11]]=>14
[[1,2,3,4,5,7,8,11,12],[6,9,10]]=>13
[[1,2,3,4,5,7,9,10,12],[6,8,11]]=>13
[[1,2,3,4,5,7,9,11,12],[6,8,10]]=>12
[[1,2,3,4,5,7,10,11,12],[6,8,9]]=>11
[[1,2,3,4,5,8,9,10,12],[6,7,11]]=>12
[[1,2,3,4,5,8,9,11,12],[6,7,10]]=>11
[[1,2,3,4,5,8,10,11,12],[6,7,9]]=>10
[[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]]=>13
[[1,2,3,4,6,7,8,11,12],[5,9,10]]=>12
[[1,2,3,4,6,7,9,10,12],[5,8,11]]=>12
[[1,2,3,4,6,7,9,11,12],[5,8,10]]=>11
[[1,2,3,4,6,7,10,11,12],[5,8,9]]=>10
[[1,2,3,4,6,8,9,10,12],[5,7,11]]=>11
[[1,2,3,4,6,8,9,11,12],[5,7,10]]=>10
[[1,2,3,4,6,8,10,11,12],[5,7,9]]=>9
[[1,2,3,4,6,8,9,10,11,12],[5,7]]=>6
[[1,2,3,4,6,7,8,9,10,12],[5,11]]=>10
[[1,2,3,4,6,7,8,9,11,12],[5,10]]=>9
[[1,2,3,4,6,7,8,10,11,12],[5,9]]=>8
[[1,2,3,4,6,7,9,10,11,12],[5,8]]=>7
[[1,2,3,4,6,7,8,9,10,11,12],[5]]=>3
[[1,2,3,4,5,6,7,8,10,12],[9,11]]=>14
[[1,2,3,4,5,6,7,8,11,12],[9,10]]=>13
[[1,2,3,4,5,6,7,9,10,12],[8,11]]=>13
[[1,2,3,4,5,6,7,9,11,12],[8,10]]=>12
[[1,2,3,4,5,6,7,10,11,12],[8,9]]=>11
[[1,2,3,4,5,6,8,9,10,12],[7,11]]=>12
[[1,2,3,4,5,6,8,9,11,12],[7,10]]=>11
[[1,2,3,4,5,6,8,10,11,12],[7,9]]=>10
[[1,2,3,4,5,6,9,10,11,12],[7,8]]=>9
[[1,2,3,4,5,7,8,9,10,12],[6,11]]=>11
[[1,2,3,4,5,7,8,9,11,12],[6,10]]=>10
[[1,2,3,4,5,7,8,10,11,12],[6,9]]=>9
[[1,2,3,4,5,7,9,10,11,12],[6,8]]=>8
[[1,2,3,4,5,7,8,9,10,11,12],[6]]=>4
[[1,2,3,4,5,6,7,8,9,10,12],[11]]=>9
[[1,2,3,4,5,6,7,8,9,11,12],[10]]=>8
[[1,2,3,4,5,6,7,8,10,11,12],[9]]=>7
[[1,2,3,4,5,6,7,9,10,11,12],[8]]=>6
[[1,2,3,4,5,6,8,9,10,11,12],[7]]=>5
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13]]=>34
[[1,2,3,4,5],[6,7,8,9],[10,11],[12,13]]=>35
[[1,2,3,4,5],[6,7,8,9],[10,11],[12],[13]]=>38
[[1,2,3,4,5],[6,7,8],[9,10,11],[12,13]]=>34
[[1,2,3,4,5],[6,7,8],[9,10,11],[12],[13]]=>37
[[1,2,3,4,5],[6,7,8],[9,10],[11,12],[13]]=>38
[[1,2,3,4],[5,6,7,8],[9,10,11],[12,13]]=>31
[[1,2,3,4],[5,6,7,8],[9,10,11],[12],[13]]=>34
[[1,2,3,4],[5,6,7,8],[9,10],[11,12],[13]]=>35
[[1,2,3,4],[5,6,7],[8,9,10],[11,12],[13]]=>34
[[1,3,4,8,13],[2,6,7,12],[5,10,11],[9]]=>12
[[1,2,7,8,13],[3,4,11,12],[5,6],[9,10]]=>11
[[1,4,7,8,13],[2,6,11,12],[3,10],[5],[9]]=>8
[[1,2,5,12,13],[3,4,8],[6,7,11],[9,10]]=>12
[[1,4,5,12,13],[2,7,8],[3,10,11],[6],[9]]=>9
[[1,3,8,12,13],[2,5,11],[4,7],[6,10],[9]]=>8
[[1,2,5,9],[3,4,8,13],[6,7,12],[10,11]]=>15
[[1,4,5,9],[2,7,8,13],[3,11,12],[6],[10]]=>12
[[1,3,8,9],[2,5,12,13],[4,7],[6,11],[10]]=>11
[[1,3,6,13],[2,5,9],[4,8,12],[7,11],[10]]=>12
[[1,3,4,6,7,8,9],[2,5,10,11,12,13,14]]=>11
[[1,3,4,5,7,8,10],[2,6,9,11,12,13,14]]=>11
[[1,3,4,5,7,8,9],[2,6,10,11,12,13,14]]=>12
[[1,3,4,5,6,9,10],[2,7,8,11,12,13,14]]=>11
[[1,3,4,5,6,8,11],[2,7,9,10,12,13,14]]=>11
[[1,3,4,5,6,8,10],[2,7,9,11,12,13,14]]=>12
[[1,3,4,5,6,8,9],[2,7,10,11,12,13,14]]=>13
[[1,3,4,5,6,7,12],[2,8,9,10,11,13,14]]=>11
[[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]]=>13
[[1,3,4,5,6,7,9],[2,8,10,11,12,13,14]]=>14
[[1,3,4,5,6,7,8],[2,9,10,11,12,13,14]]=>15
[[1,2,5,6,7,8,9],[3,4,10,11,12,13,14]]=>11
[[1,2,4,5,6,7,13],[3,8,9,10,11,12,14]]=>11
[[1,2,3,5,6,8,13],[4,7,9,10,11,12,14]]=>11
[[1,2,3,5,6,7,13],[4,8,9,10,11,12,14]]=>12
[[1,2,3,4,7,8,13],[5,6,9,10,11,12,14]]=>11
[[1,2,3,4,6,9,13],[5,7,8,10,11,12,14]]=>11
[[1,2,3,4,6,8,13],[5,7,9,10,11,12,14]]=>12
[[1,2,3,4,6,7,13],[5,8,9,10,11,12,14]]=>13
[[1,2,3,4,5,11,12],[6,7,8,9,10,13,14]]=>11
[[1,2,3,4,5,10,13],[6,7,8,9,11,12,14]]=>11
[[1,2,3,4,5,9,13],[6,7,8,10,11,12,14]]=>12
[[1,2,3,4,5,8,13],[6,7,9,10,11,12,14]]=>13
[[1,2,3,4,5,7,13],[6,8,9,10,11,12,14]]=>14
[[1,2,3,4,5,6,13],[7,8,9,10,11,12,14]]=>15
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13,14]]=>40
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13],[14]]=>43
[[1,2,3,4,5],[6,7,8,9],[10,11],[12,13],[14]]=>44
[[1,2,3,4,5],[6,7,8],[9,10,11],[12,13],[14]]=>43
[[1,2,3,4],[5,6,7,8],[9,10,11],[12,13],[14]]=>40
[[1,2,5,9,14],[3,4,8,13],[6,7,12],[10,11]]=>15
[[1,4,5,9,14],[2,7,8,13],[3,11,12],[6],[10]]=>12
[[1,3,8,9,14],[2,5,12,13],[4,7],[6,11],[10]]=>11
[[1,3,6,13,14],[2,5,9],[4,8,12],[7,11],[10]]=>12
[[1,3,6,10],[2,5,9,14],[4,8,13],[7,12],[11]]=>15
[[1,2,3,4,5],[6,7,8,9],[10,11,12],[13,14],[15]]=>50
[[1,3,6,10,15],[2,5,9,14],[4,8,13],[7,12],[11]]=>15
[[1,3,4,5,6,8,9,10],[2,7,11,12,13,14,15,16]]=>18
[[1,3,4,5,6,7,9,11],[2,8,10,12,13,14,15,16]]=>18
[[1,3,4,5,6,7,9,10],[2,8,11,12,13,14,15,16]]=>19
[[1,3,4,5,6,7,8,12],[2,9,10,11,13,14,15,16]]=>18
[[1,3,4,5,6,7,8,11],[2,9,10,12,13,14,15,16]]=>19
[[1,3,4,5,6,7,8,10],[2,9,11,12,13,14,15,16]]=>20
[[1,3,4,5,6,7,8,9],[2,10,11,12,13,14,15,16]]=>21
[[1,2,3,4,6,7,8,15],[5,9,10,11,12,13,14,16]]=>18
[[1,2,3,4,5,7,9,15],[6,8,10,11,12,13,14,16]]=>18
[[1,2,3,4,5,7,8,15],[6,9,10,11,12,13,14,16]]=>19
[[1,2,3,4,5,6,10,15],[7,8,9,11,12,13,14,16]]=>18
[[1,2,3,4,5,6,9,15],[7,8,10,11,12,13,14,16]]=>19
[[1,2,3,4,5,6,8,15],[7,9,10,11,12,13,14,16]]=>20
[[1,2,3,4,5,6,7,15],[8,9,10,11,12,13,14,16]]=>21
[[1,2,3,4,5,6,7,8,17],[9,10,11,12,13,14,15,16,18]]=>28
[[1,3,4,5,6,7,8,9,10],[2,11,12,13,14,15,16,17,18]]=>28
[[1,2,3,4,5,6,7,9,17],[8,10,11,12,13,14,15,16,18]]=>27
[[1,3,4,5,6,7,8,9,11],[2,10,12,13,14,15,16,17,18]]=>27
[[1,2,3,4,5,6,7,10,17],[8,9,11,12,13,14,15,16,18]]=>26
[[1,2,3,4,5,6,8,9,17],[7,10,11,12,13,14,15,16,18]]=>26
[[1,3,4,5,6,7,8,9,12],[2,10,11,13,14,15,16,17,18]]=>26
[[1,3,4,5,6,7,8,10,11],[2,9,12,13,14,15,16,17,18]]=>26
[[1,2,3,4,5,6,7,8,9,19],[10,11,12,13,14,15,16,17,18,20]]=>36
[[1,3,4,5,6,7,8,9,10,11],[2,12,13,14,15,16,17,18,19,20]]=>36
[[1,2,3,4,5,6,7,8,10,19],[9,11,12,13,14,15,16,17,18,20]]=>35
[[1,3,4,5,6,7,8,9,10,12],[2,11,13,14,15,16,17,18,19,20]]=>35
[[1,2,3,4,5,6,7,8,9,10,21],[11,12,13,14,15,16,17,18,19,20,22]]=>45
[[1,3,4,5,6,7,8,9,10,11,12],[2,13,14,15,16,17,18,19,20,21,22]]=>45
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 Shynar inversion number of a standard tableau.
Shynar's inversion number is the number of inversion pairs in a standard Young tableau, where an inversion pair is defined as a pair of integers (x,y) such that y > x and y appears strictly southwest of x in the tableau.
Shynar's inversion number is the number of inversion pairs in a standard Young tableau, where an inversion pair is defined as a pair of integers (x,y) such that y > x and y appears strictly southwest of x in the tableau.
References
[1] Michael Shynar, On Inversions in Standard Young Tableaux, Formal Power Series and Algebraic Combinatorics, 2004 http://www.fpsac.org/FPSAC04/ARTICLES/Shynar.pdf
Code
def shynar_inversions(T): inversions = [] for i in range(len(T)): for j in range(len(T[i])): for m in range(j): for k in range(i+1,len(T.conjugate()[m])): if T.entry([i,j]) < T.entry([k,m]): inversions.append([[i,j],[k,m]]) return inversions def statistic(x): return len(shynar_inversions(x))
Created
Mar 26, 2013 at 20:37 by Bryan D'Amico
Updated
Dec 30, 2017 at 22: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!