Values
=>
Cc0013;cc-rep
([2],3)=>2
([1,1],3)=>2
([2],4)=>2
([1,1],4)=>2
([2],5)=>2
([1,1],5)=>2
([2],6)=>2
([1,1],6)=>2
([3,1],3)=>2
([2,1,1],3)=>2
([3],4)=>2
([2,1],4)=>4
([1,1,1],4)=>2
([3],5)=>2
([2,1],5)=>3
([1,1,1],5)=>2
([3],6)=>2
([2,1],6)=>3
([1,1,1],6)=>2
([4,2],3)=>2
([3,1,1],3)=>3
([2,2,1,1],3)=>2
([4,1],4)=>2
([2,2],4)=>3
([3,1,1],4)=>3
([2,1,1,1],4)=>2
([4],5)=>2
([3,1],5)=>4
([2,2],5)=>2
([2,1,1],5)=>4
([1,1,1,1],5)=>2
([4],6)=>2
([3,1],6)=>3
([2,2],6)=>2
([2,1,1],6)=>3
([1,1,1,1],6)=>2
([5,3,1],3)=>2
([4,2,1,1],3)=>2
([3,2,2,1,1],3)=>2
([5,2],4)=>2
([4,1,1],4)=>3
([3,2,1],4)=>4
([3,1,1,1],4)=>3
([2,2,1,1,1],4)=>2
([5,1],5)=>2
([3,2],5)=>4
([4,1,1],5)=>3
([2,2,1],5)=>4
([3,1,1,1],5)=>3
([2,1,1,1,1],5)=>2
([5],6)=>2
([4,1],6)=>4
([3,2],6)=>3
([3,1,1],6)=>4
([2,2,1],6)=>3
([2,1,1,1],6)=>4
([1,1,1,1,1],6)=>2
([6,4,2],3)=>2
([5,3,1,1],3)=>3
([4,2,2,1,1],3)=>3
([3,3,2,2,1,1],3)=>2
([6,3],4)=>2
([5,2,1],4)=>4
([4,1,1,1],4)=>4
([4,2,2],4)=>3
([3,3,1,1],4)=>3
([3,2,1,1,1],4)=>4
([2,2,2,1,1,1],4)=>2
([6,2],5)=>2
([5,1,1],5)=>3
([3,3],5)=>3
([4,2,1],5)=>4
([4,1,1,1],5)=>3
([2,2,2],5)=>3
([3,2,1,1],5)=>4
([3,1,1,1,1],5)=>3
([2,2,1,1,1,1],5)=>2
([6,1],6)=>2
([4,2],6)=>4
([5,1,1],6)=>3
([3,3],6)=>2
([3,2,1],6)=>5
([4,1,1,1],6)=>3
([2,2,2],6)=>2
([2,2,1,1],6)=>4
([3,1,1,1,1],6)=>3
([2,1,1,1,1,1],6)=>2
([7,2],6)=>2
([6,1,1],6)=>3
([4,3],6)=>4
([5,2,1],6)=>4
([5,1,1,1],6)=>3
([3,3,1],6)=>4
([3,2,2],6)=>4
([4,2,1,1],6)=>4
([4,1,1,1,1],6)=>3
([2,2,2,1],6)=>4
([3,2,1,1,1],6)=>4
([3,1,1,1,1,1],6)=>3
([2,2,1,1,1,1,1],6)=>2
([2,1],2)=>1
([2],7)=>2
([1,1],7)=>2
([2],8)=>2
([1,1],8)=>2
([2],9)=>2
([1,1],9)=>2
([2],10)=>2
([1,1],10)=>2
([2],11)=>2
([1,1],11)=>2
([2],12)=>2
([1,1],12)=>2
([2],13)=>2
([1,1],13)=>2
([2],14)=>2
([1,1],14)=>2
([2],15)=>2
([1,1],15)=>2
([3,2,1],2)=>1
([3],7)=>2
([2,1],7)=>3
([1,1,1],7)=>2
([3],8)=>2
([2,1],8)=>3
([1,1,1],8)=>2
([3],9)=>2
([2,1],9)=>3
([1,1,1],9)=>2
([3],10)=>2
([2,1],10)=>3
([1,1,1],10)=>2
([3],11)=>2
([2,1],11)=>3
([1,1,1],11)=>2
([3],12)=>2
([2,1],12)=>3
([1,1,1],12)=>2
([3],13)=>2
([2,1],13)=>3
([1,1,1],13)=>2
([3],14)=>2
([2,1],14)=>3
([1,1,1],14)=>2
([3],15)=>2
([2,1],15)=>3
([1,1,1],15)=>2
([4,3,2,1],2)=>1
([4],7)=>2
([3,1],7)=>3
([2,2],7)=>2
([2,1,1],7)=>3
([1,1,1,1],7)=>2
([4],8)=>2
([3,1],8)=>3
([2,2],8)=>2
([2,1,1],8)=>3
([1,1,1,1],8)=>2
([4],9)=>2
([3,1],9)=>3
([2,2],9)=>2
([2,1,1],9)=>3
([1,1,1,1],9)=>2
([4],10)=>2
([3,1],10)=>3
([2,2],10)=>2
([2,1,1],10)=>3
([1,1,1,1],10)=>2
([4],11)=>2
([3,1],11)=>3
([2,2],11)=>2
([2,1,1],11)=>3
([1,1,1,1],11)=>2
([4],12)=>2
([3,1],12)=>3
([2,2],12)=>2
([2,1,1],12)=>3
([1,1,1,1],12)=>2
([4],13)=>2
([3,1],13)=>3
([2,2],13)=>2
([2,1,1],13)=>3
([1,1,1,1],13)=>2
([4],14)=>2
([3,1],14)=>3
([2,2],14)=>2
([2,1,1],14)=>3
([1,1,1,1],14)=>2
([4],15)=>2
([3,1],15)=>3
([2,2],15)=>2
([2,1,1],15)=>3
([1,1,1,1],15)=>2
([5,4,3,2,1],2)=>1
([5],7)=>2
([4,1],7)=>3
([3,2],7)=>3
([3,1,1],7)=>3
([2,2,1],7)=>3
([2,1,1,1],7)=>3
([1,1,1,1,1],7)=>2
([5],8)=>2
([4,1],8)=>3
([3,2],8)=>3
([3,1,1],8)=>3
([2,2,1],8)=>3
([2,1,1,1],8)=>3
([1,1,1,1,1],8)=>2
([5],9)=>2
([4,1],9)=>3
([3,2],9)=>3
([3,1,1],9)=>3
([2,2,1],9)=>3
([2,1,1,1],9)=>3
([1,1,1,1,1],9)=>2
([5],10)=>2
([4,1],10)=>3
([3,2],10)=>3
([3,1,1],10)=>3
([2,2,1],10)=>3
([2,1,1,1],10)=>3
([1,1,1,1,1],10)=>2
([5],11)=>2
([4,1],11)=>3
([3,2],11)=>3
([3,1,1],11)=>3
([2,2,1],11)=>3
([2,1,1,1],11)=>3
([1,1,1,1,1],11)=>2
([5],12)=>2
([4,1],12)=>3
([3,2],12)=>3
([3,1,1],12)=>3
([2,2,1],12)=>3
([2,1,1,1],12)=>3
([1,1,1,1,1],12)=>2
([5],13)=>2
([4,1],13)=>3
([3,2],13)=>3
([3,1,1],13)=>3
([2,2,1],13)=>3
([2,1,1,1],13)=>3
([1,1,1,1,1],13)=>2
([5],14)=>2
([4,1],14)=>3
([3,2],14)=>3
([3,1,1],14)=>3
([2,2,1],14)=>3
([2,1,1,1],14)=>3
([1,1,1,1,1],14)=>2
([5],15)=>2
([4,1],15)=>3
([3,2],15)=>3
([3,1,1],15)=>3
([2,2,1],15)=>3
([2,1,1,1],15)=>3
([1,1,1,1,1],15)=>2
([6,5,4,3,2,1],2)=>1
([6],7)=>2
([5,1],7)=>4
([4,2],7)=>3
([4,1,1],7)=>4
([3,3],7)=>2
([3,2,1],7)=>4
([3,1,1,1],7)=>4
([2,2,2],7)=>2
([2,2,1,1],7)=>3
([2,1,1,1,1],7)=>4
([1,1,1,1,1,1],7)=>2
([6],8)=>2
([5,1],8)=>3
([4,2],8)=>3
([4,1,1],8)=>3
([3,3],8)=>2
([3,2,1],8)=>4
([3,1,1,1],8)=>3
([2,2,2],8)=>2
([2,2,1,1],8)=>3
([2,1,1,1,1],8)=>3
([1,1,1,1,1,1],8)=>2
([6],9)=>2
([5,1],9)=>3
([4,2],9)=>3
([4,1,1],9)=>3
([3,3],9)=>2
([3,2,1],9)=>4
([3,1,1,1],9)=>3
([2,2,2],9)=>2
([2,2,1,1],9)=>3
([2,1,1,1,1],9)=>3
([1,1,1,1,1,1],9)=>2
([6],10)=>2
([5,1],10)=>3
([4,2],10)=>3
([4,1,1],10)=>3
([3,3],10)=>2
([3,2,1],10)=>4
([3,1,1,1],10)=>3
([2,2,2],10)=>2
([2,2,1,1],10)=>3
([2,1,1,1,1],10)=>3
([1,1,1,1,1,1],10)=>2
([6],11)=>2
([5,1],11)=>3
([4,2],11)=>3
([4,1,1],11)=>3
([3,3],11)=>2
([3,2,1],11)=>4
([3,1,1,1],11)=>3
([2,2,2],11)=>2
([2,2,1,1],11)=>3
([2,1,1,1,1],11)=>3
([1,1,1,1,1,1],11)=>2
([6],12)=>2
([5,1],12)=>3
([4,2],12)=>3
([4,1,1],12)=>3
([3,3],12)=>2
([3,2,1],12)=>4
([3,1,1,1],12)=>3
([2,2,2],12)=>2
([2,2,1,1],12)=>3
([2,1,1,1,1],12)=>3
([1,1,1,1,1,1],12)=>2
([6],13)=>2
([5,1],13)=>3
([4,2],13)=>3
([4,1,1],13)=>3
([3,3],13)=>2
([3,2,1],13)=>4
([3,1,1,1],13)=>3
([2,2,2],13)=>2
([2,2,1,1],13)=>3
([2,1,1,1,1],13)=>3
([1,1,1,1,1,1],13)=>2
([6],14)=>2
([5,1],14)=>3
([4,2],14)=>3
([4,1,1],14)=>3
([3,3],14)=>2
([3,2,1],14)=>4
([3,1,1,1],14)=>3
([2,2,2],14)=>2
([2,2,1,1],14)=>3
([2,1,1,1,1],14)=>3
([1,1,1,1,1,1],14)=>2
([6],15)=>2
([5,1],15)=>3
([4,2],15)=>3
([4,1,1],15)=>3
([3,3],15)=>2
([3,2,1],15)=>4
([3,1,1,1],15)=>3
([2,2,2],15)=>2
([2,2,1,1],15)=>3
([2,1,1,1,1],15)=>3
([1,1,1,1,1,1],15)=>2
([7,6,5,4,3,2,1],2)=>1
([7,5,3,1],3)=>2
([6,4,2,1,1],3)=>2
([5,3,2,2,1,1],3)=>2
([4,3,3,2,2,1,1],3)=>2
([7,4,1],4)=>2
([5,2,2],4)=>4
([6,3,1,1],4)=>3
([5,2,1,1,1],4)=>3
([4,3,2,1],4)=>4
([3,3,1,1,1],4)=>4
([4,2,2,1,1,1],4)=>3
([3,2,2,2,1,1,1],4)=>2
([7,3],5)=>2
([6,2,1],5)=>3
([5,1,1,1],5)=>3
([4,3,1],5)=>4
([5,2,2],5)=>3
([4,2,1,1],5)=>6
([4,1,1,1,1],5)=>3
([3,2,2,1],5)=>4
([3,3,1,1,1],5)=>3
([3,2,1,1,1,1],5)=>3
([2,2,2,1,1,1,1],5)=>2
([7,1],7)=>2
([5,2],7)=>4
([6,1,1],7)=>3
([4,3],7)=>3
([4,2,1],7)=>5
([5,1,1,1],7)=>3
([3,3,1],7)=>3
([3,2,2],7)=>3
([3,2,1,1],7)=>5
([4,1,1,1,1],7)=>3
([2,2,2,1],7)=>3
([2,2,1,1,1],7)=>4
([3,1,1,1,1,1],7)=>3
([2,1,1,1,1,1,1],7)=>2
([7],8)=>2
([6,1],8)=>4
([5,2],8)=>3
([5,1,1],8)=>4
([4,3],8)=>3
([4,2,1],8)=>4
([4,1,1,1],8)=>4
([3,3,1],8)=>3
([3,2,2],8)=>3
([3,2,1,1],8)=>4
([3,1,1,1,1],8)=>4
([2,2,2,1],8)=>3
([2,2,1,1,1],8)=>3
([2,1,1,1,1,1],8)=>4
([1,1,1,1,1,1,1],8)=>2
([7],9)=>2
([6,1],9)=>3
([5,2],9)=>3
([5,1,1],9)=>3
([4,3],9)=>3
([4,2,1],9)=>4
([4,1,1,1],9)=>3
([3,3,1],9)=>3
([3,2,2],9)=>3
([3,2,1,1],9)=>4
([3,1,1,1,1],9)=>3
([2,2,2,1],9)=>3
([2,2,1,1,1],9)=>3
([2,1,1,1,1,1],9)=>3
([1,1,1,1,1,1,1],9)=>2
([7],10)=>2
([6,1],10)=>3
([5,2],10)=>3
([5,1,1],10)=>3
([4,3],10)=>3
([4,2,1],10)=>4
([4,1,1,1],10)=>3
([3,3,1],10)=>3
([3,2,2],10)=>3
([3,2,1,1],10)=>4
([3,1,1,1,1],10)=>3
([2,2,2,1],10)=>3
([2,2,1,1,1],10)=>3
([2,1,1,1,1,1],10)=>3
([1,1,1,1,1,1,1],10)=>2
([7],11)=>2
([6,1],11)=>3
([5,2],11)=>3
([5,1,1],11)=>3
([4,3],11)=>3
([4,2,1],11)=>4
([4,1,1,1],11)=>3
([3,3,1],11)=>3
([3,2,2],11)=>3
([3,2,1,1],11)=>4
([3,1,1,1,1],11)=>3
([2,2,2,1],11)=>3
([2,2,1,1,1],11)=>3
([2,1,1,1,1,1],11)=>3
([1,1,1,1,1,1,1],11)=>2
([7],12)=>2
([6,1],12)=>3
([5,2],12)=>3
([5,1,1],12)=>3
([4,3],12)=>3
([4,2,1],12)=>4
([4,1,1,1],12)=>3
([3,3,1],12)=>3
([3,2,2],12)=>3
([3,2,1,1],12)=>4
([3,1,1,1,1],12)=>3
([2,2,2,1],12)=>3
([2,2,1,1,1],12)=>3
([2,1,1,1,1,1],12)=>3
([1,1,1,1,1,1,1],12)=>2
([7],13)=>2
([6,1],13)=>3
([5,2],13)=>3
([5,1,1],13)=>3
([4,3],13)=>3
([4,2,1],13)=>4
([4,1,1,1],13)=>3
([3,3,1],13)=>3
([3,2,2],13)=>3
([3,2,1,1],13)=>4
([3,1,1,1,1],13)=>3
([2,2,2,1],13)=>3
([2,2,1,1,1],13)=>3
([2,1,1,1,1,1],13)=>3
([1,1,1,1,1,1,1],13)=>2
([7],14)=>2
([6,1],14)=>3
([5,2],14)=>3
([5,1,1],14)=>3
([4,3],14)=>3
([4,2,1],14)=>4
([4,1,1,1],14)=>3
([3,3,1],14)=>3
([3,2,2],14)=>3
([3,2,1,1],14)=>4
([3,1,1,1,1],14)=>3
([2,2,2,1],14)=>3
([2,2,1,1,1],14)=>3
([2,1,1,1,1,1],14)=>3
([1,1,1,1,1,1,1],14)=>2
([7],15)=>2
([6,1],15)=>3
([5,2],15)=>3
([5,1,1],15)=>3
([4,3],15)=>3
([4,2,1],15)=>4
([4,1,1,1],15)=>3
([3,3,1],15)=>3
([3,2,2],15)=>3
([3,2,1,1],15)=>4
([3,1,1,1,1],15)=>3
([2,2,2,1],15)=>3
([2,2,1,1,1],15)=>3
([2,1,1,1,1,1],15)=>3
([1,1,1,1,1,1,1],15)=>2
([8,7,6,5,4,3,2,1],2)=>1
([8,6,4,2],3)=>2
([7,5,3,1,1],3)=>3
([6,4,2,2,1,1],3)=>3
([5,3,3,2,2,1,1],3)=>3
([4,4,3,3,2,2,1,1],3)=>2
([8,5,2],4)=>2
([7,4,1,1],4)=>3
([6,3,2,1],4)=>4
([6,3,1,1,1],4)=>3
([5,2,2,1,1,1],4)=>3
([4,4,2,2],4)=>3
([5,3,3,1,1],4)=>3
([4,3,2,1,1,1],4)=>4
([4,2,2,2,1,1,1],4)=>3
([3,3,2,2,2,1,1,1],4)=>2
([8,4],5)=>2
([7,3,1],5)=>4
([6,2,2],5)=>3
([6,2,1,1],5)=>4
([5,1,1,1,1],5)=>4
([5,3,2],5)=>4
([4,4,1,1],5)=>3
([5,2,2,1],5)=>5
([4,3,1,1,1],5)=>5
([4,2,1,1,1,1],5)=>4
([4,2,2,2],5)=>3
([3,3,2,1,1],5)=>4
([3,3,1,1,1,1],5)=>3
([3,2,2,1,1,1,1],5)=>4
([2,2,2,2,1,1,1,1],5)=>2
([8,3],6)=>2
([7,2,1],6)=>3
([6,1,1,1],6)=>3
([4,4],6)=>3
([5,3,1],6)=>4
([6,2,2],6)=>3
([5,2,1,1],6)=>5
([5,1,1,1,1],6)=>3
([3,3,2],6)=>4
([4,3,1,1],6)=>4
([4,2,2,1],6)=>4
([4,2,1,1,1],6)=>5
([4,1,1,1,1,1],6)=>3
([2,2,2,2],6)=>3
([3,2,2,1,1],6)=>4
([3,3,1,1,1,1],6)=>3
([3,2,1,1,1,1,1],6)=>3
([2,2,2,1,1,1,1,1],6)=>2
([8,2],7)=>2
([7,1,1],7)=>3
([5,3],7)=>4
([6,2,1],7)=>4
([6,1,1,1],7)=>3
([4,4],7)=>2
([4,3,1],7)=>5
([4,2,2],7)=>4
([5,2,1,1],7)=>4
([5,1,1,1,1],7)=>3
([3,3,2],7)=>3
([3,3,1,1],7)=>4
([3,2,2,1],7)=>5
([4,2,1,1,1],7)=>4
([4,1,1,1,1,1],7)=>3
([2,2,2,2],7)=>2
([2,2,2,1,1],7)=>4
([3,2,1,1,1,1],7)=>4
([3,1,1,1,1,1,1],7)=>3
([2,2,1,1,1,1,1,1],7)=>2
([8,1],8)=>2
([6,2],8)=>4
([7,1,1],8)=>3
([5,3],8)=>3
([5,2,1],8)=>5
([6,1,1,1],8)=>3
([4,4],8)=>2
([4,3,1],8)=>4
([4,2,2],8)=>3
([4,2,1,1],8)=>5
([5,1,1,1,1],8)=>3
([3,3,2],8)=>3
([3,3,1,1],8)=>3
([3,2,2,1],8)=>4
([3,2,1,1,1],8)=>5
([4,1,1,1,1,1],8)=>3
([2,2,2,2],8)=>2
([2,2,2,1,1],8)=>3
([2,2,1,1,1,1],8)=>4
([3,1,1,1,1,1,1],8)=>3
([2,1,1,1,1,1,1,1],8)=>2
([8],9)=>2
([7,1],9)=>4
([6,2],9)=>3
([6,1,1],9)=>4
([5,3],9)=>3
([5,2,1],9)=>4
([5,1,1,1],9)=>4
([4,4],9)=>2
([4,3,1],9)=>4
([4,2,2],9)=>3
([4,2,1,1],9)=>4
([4,1,1,1,1],9)=>4
([3,3,2],9)=>3
([3,3,1,1],9)=>3
([3,2,2,1],9)=>4
([3,2,1,1,1],9)=>4
([3,1,1,1,1,1],9)=>4
([2,2,2,2],9)=>2
([2,2,2,1,1],9)=>3
([2,2,1,1,1,1],9)=>3
([2,1,1,1,1,1,1],9)=>4
([1,1,1,1,1,1,1,1],9)=>2
([8],10)=>2
([7,1],10)=>3
([6,2],10)=>3
([6,1,1],10)=>3
([5,3],10)=>3
([5,2,1],10)=>4
([5,1,1,1],10)=>3
([4,4],10)=>2
([4,3,1],10)=>4
([4,2,2],10)=>3
([4,2,1,1],10)=>4
([4,1,1,1,1],10)=>3
([3,3,2],10)=>3
([3,3,1,1],10)=>3
([3,2,2,1],10)=>4
([3,2,1,1,1],10)=>4
([3,1,1,1,1,1],10)=>3
([2,2,2,2],10)=>2
([2,2,2,1,1],10)=>3
([2,2,1,1,1,1],10)=>3
([2,1,1,1,1,1,1],10)=>3
([1,1,1,1,1,1,1,1],10)=>2
([8],11)=>2
([7,1],11)=>3
([6,2],11)=>3
([6,1,1],11)=>3
([5,3],11)=>3
([5,2,1],11)=>4
([5,1,1,1],11)=>3
([4,4],11)=>2
([4,3,1],11)=>4
([4,2,2],11)=>3
([4,2,1,1],11)=>4
([4,1,1,1,1],11)=>3
([3,3,2],11)=>3
([3,3,1,1],11)=>3
([3,2,2,1],11)=>4
([3,2,1,1,1],11)=>4
([3,1,1,1,1,1],11)=>3
([2,2,2,2],11)=>2
([2,2,2,1,1],11)=>3
([2,2,1,1,1,1],11)=>3
([2,1,1,1,1,1,1],11)=>3
([1,1,1,1,1,1,1,1],11)=>2
([8],12)=>2
([7,1],12)=>3
([6,2],12)=>3
([6,1,1],12)=>3
([5,3],12)=>3
([5,2,1],12)=>4
([5,1,1,1],12)=>3
([4,4],12)=>2
([4,3,1],12)=>4
([4,2,2],12)=>3
([4,2,1,1],12)=>4
([4,1,1,1,1],12)=>3
([3,3,2],12)=>3
([3,3,1,1],12)=>3
([3,2,2,1],12)=>4
([3,2,1,1,1],12)=>4
([3,1,1,1,1,1],12)=>3
([2,2,2,2],12)=>2
([2,2,2,1,1],12)=>3
([2,2,1,1,1,1],12)=>3
([2,1,1,1,1,1,1],12)=>3
([1,1,1,1,1,1,1,1],12)=>2
([8],13)=>2
([7,1],13)=>3
([6,2],13)=>3
([6,1,1],13)=>3
([5,3],13)=>3
([5,2,1],13)=>4
([5,1,1,1],13)=>3
([4,4],13)=>2
([4,3,1],13)=>4
([4,2,2],13)=>3
([4,2,1,1],13)=>4
([4,1,1,1,1],13)=>3
([3,3,2],13)=>3
([3,3,1,1],13)=>3
([3,2,2,1],13)=>4
([3,2,1,1,1],13)=>4
([3,1,1,1,1,1],13)=>3
([2,2,2,2],13)=>2
([2,2,2,1,1],13)=>3
([2,2,1,1,1,1],13)=>3
([2,1,1,1,1,1,1],13)=>3
([1,1,1,1,1,1,1,1],13)=>2
([8],14)=>2
([7,1],14)=>3
([6,2],14)=>3
([6,1,1],14)=>3
([5,3],14)=>3
([5,2,1],14)=>4
([5,1,1,1],14)=>3
([4,4],14)=>2
([4,3,1],14)=>4
([4,2,2],14)=>3
([4,2,1,1],14)=>4
([4,1,1,1,1],14)=>3
([3,3,2],14)=>3
([3,3,1,1],14)=>3
([3,2,2,1],14)=>4
([3,2,1,1,1],14)=>4
([3,1,1,1,1,1],14)=>3
([2,2,2,2],14)=>2
([2,2,2,1,1],14)=>3
([2,2,1,1,1,1],14)=>3
([2,1,1,1,1,1,1],14)=>3
([1,1,1,1,1,1,1,1],14)=>2
([8],15)=>2
([7,1],15)=>3
([6,2],15)=>3
([6,1,1],15)=>3
([5,3],15)=>3
([5,2,1],15)=>4
([5,1,1,1],15)=>3
([4,4],15)=>2
([4,3,1],15)=>4
([4,2,2],15)=>3
([4,2,1,1],15)=>4
([4,1,1,1,1],15)=>3
([3,3,2],15)=>3
([3,3,1,1],15)=>3
([3,2,2,1],15)=>4
([3,2,1,1,1],15)=>4
([3,1,1,1,1,1],15)=>3
([2,2,2,2],15)=>2
([2,2,2,1,1],15)=>3
([2,2,1,1,1,1],15)=>3
([2,1,1,1,1,1,1],15)=>3
([1,1,1,1,1,1,1,1],15)=>2
([9,8,7,6,5,4,3,2,1],2)=>1
([9,7,5,3,1],3)=>2
([8,6,4,2,1,1],3)=>2
([7,5,3,2,2,1,1],3)=>2
([6,4,3,3,2,2,1,1],3)=>2
([5,4,4,3,3,2,2,1,1],3)=>2
([9,6,3],4)=>2
([8,5,2,1],4)=>4
([7,4,1,1,1],4)=>4
([7,4,2,2],4)=>3
([6,3,3,1,1],4)=>4
([6,3,2,1,1,1],4)=>4
([5,2,2,2,1,1,1],4)=>4
([5,4,3,2,1],4)=>4
([5,3,3,1,1,1],4)=>4
([4,4,2,2,1,1,1],4)=>3
([4,3,2,2,2,1,1,1],4)=>4
([3,3,3,2,2,2,1,1,1],4)=>2
([9,5,1],5)=>2
([7,3,2],5)=>4
([8,4,1,1],5)=>3
([6,2,2,1],5)=>6
([7,3,1,1,1],5)=>3
([6,2,1,1,1,1],5)=>3
([6,3,3],5)=>3
([5,4,2,1],5)=>4
([4,4,1,1,1],5)=>4
([5,2,2,2],5)=>4
([5,3,2,1,1],5)=>5
([4,3,1,1,1,1],5)=>6
([5,2,2,1,1,1,1],5)=>3
([4,3,2,2,1],5)=>4
([3,3,3,1,1,1],5)=>3
([3,3,2,1,1,1,1],5)=>4
([4,2,2,2,1,1,1,1],5)=>3
([3,2,2,2,2,1,1,1,1],5)=>2
([9,4],6)=>2
([8,3,1],6)=>3
([7,2,2],6)=>3
([7,2,1,1],6)=>3
([6,1,1,1,1],6)=>3
([5,4,1],6)=>4
([6,3,2],6)=>4
([5,3,1,1],6)=>6
([6,2,2,1],6)=>4
([5,2,1,1,1],6)=>6
([5,1,1,1,1,1],6)=>3
([3,3,3],6)=>3
([4,3,2,1],6)=>5
([4,4,1,1,1],6)=>3
([5,2,2,2],6)=>3
([4,2,2,1,1],6)=>6
([4,3,1,1,1,1],6)=>4
([4,2,1,1,1,1,1],6)=>3
([3,2,2,2,1],6)=>4
([3,3,2,1,1,1],6)=>4
([3,3,1,1,1,1,1],6)=>3
([3,2,2,1,1,1,1,1],6)=>3
([2,2,2,2,1,1,1,1,1],6)=>2
([9,3],7)=>2
([8,2,1],7)=>3
([7,1,1,1],7)=>3
([5,4],7)=>4
([6,3,1],7)=>4
([7,2,2],7)=>3
([6,2,1,1],7)=>5
([6,1,1,1,1],7)=>3
([4,4,1],7)=>4
([4,3,2],7)=>5
([5,3,1,1],7)=>4
([5,2,2,1],7)=>4
([5,2,1,1,1],7)=>4
([5,1,1,1,1,1],7)=>3
([3,3,3],7)=>2
([3,3,2,1],7)=>5
([4,3,1,1,1],7)=>4
([3,2,2,2],7)=>4
([4,2,2,1,1],7)=>4
([4,2,1,1,1,1],7)=>5
([4,1,1,1,1,1,1],7)=>3
([2,2,2,2,1],7)=>4
([3,2,2,1,1,1],7)=>4
([3,3,1,1,1,1,1],7)=>3
([3,2,1,1,1,1,1,1],7)=>3
([2,2,2,1,1,1,1,1,1],7)=>2
([9,2],8)=>2
([8,1,1],8)=>3
([6,3],8)=>4
([7,2,1],8)=>4
([7,1,1,1],8)=>3
([5,4],8)=>3
([5,3,1],8)=>5
([5,2,2],8)=>4
([6,2,1,1],8)=>4
([6,1,1,1,1],8)=>3
([4,4,1],8)=>3
([4,3,2],8)=>4
([4,3,1,1],8)=>5
([4,2,2,1],8)=>5
([5,2,1,1,1],8)=>4
([5,1,1,1,1,1],8)=>3
([3,3,3],8)=>2
([3,3,2,1],8)=>4
([3,3,1,1,1],8)=>4
([3,2,2,2],8)=>3
([3,2,2,1,1],8)=>5
([4,2,1,1,1,1],8)=>4
([4,1,1,1,1,1,1],8)=>3
([2,2,2,2,1],8)=>3
([2,2,2,1,1,1],8)=>4
([3,2,1,1,1,1,1],8)=>4
([3,1,1,1,1,1,1,1],8)=>3
([2,2,1,1,1,1,1,1,1],8)=>2
([9,1],9)=>2
([7,2],9)=>4
([8,1,1],9)=>3
([6,3],9)=>3
([6,2,1],9)=>5
([7,1,1,1],9)=>3
([5,4],9)=>3
([5,3,1],9)=>4
([5,2,2],9)=>3
([5,2,1,1],9)=>5
([6,1,1,1,1],9)=>3
([4,4,1],9)=>3
([4,3,2],9)=>4
([4,3,1,1],9)=>4
([4,2,2,1],9)=>4
([4,2,1,1,1],9)=>5
([5,1,1,1,1,1],9)=>3
([3,3,3],9)=>2
([3,3,2,1],9)=>4
([3,3,1,1,1],9)=>3
([3,2,2,2],9)=>3
([3,2,2,1,1],9)=>4
([3,2,1,1,1,1],9)=>5
([4,1,1,1,1,1,1],9)=>3
([2,2,2,2,1],9)=>3
([2,2,2,1,1,1],9)=>3
([2,2,1,1,1,1,1],9)=>4
([3,1,1,1,1,1,1,1],9)=>3
([2,1,1,1,1,1,1,1,1],9)=>2
([9],10)=>2
([8,1],10)=>4
([7,2],10)=>3
([7,1,1],10)=>4
([6,3],10)=>3
([6,2,1],10)=>4
([6,1,1,1],10)=>4
([5,4],10)=>3
([5,3,1],10)=>4
([5,2,2],10)=>3
([5,2,1,1],10)=>4
([5,1,1,1,1],10)=>4
([4,4,1],10)=>3
([4,3,2],10)=>4
([4,3,1,1],10)=>4
([4,2,2,1],10)=>4
([4,2,1,1,1],10)=>4
([4,1,1,1,1,1],10)=>4
([3,3,3],10)=>2
([3,3,2,1],10)=>4
([3,3,1,1,1],10)=>3
([3,2,2,2],10)=>3
([3,2,2,1,1],10)=>4
([3,2,1,1,1,1],10)=>4
([3,1,1,1,1,1,1],10)=>4
([2,2,2,2,1],10)=>3
([2,2,2,1,1,1],10)=>3
([2,2,1,1,1,1,1],10)=>3
([2,1,1,1,1,1,1,1],10)=>4
([1,1,1,1,1,1,1,1,1],10)=>2
([9],11)=>2
([8,1],11)=>3
([7,2],11)=>3
([7,1,1],11)=>3
([6,3],11)=>3
([6,2,1],11)=>4
([6,1,1,1],11)=>3
([5,4],11)=>3
([5,3,1],11)=>4
([5,2,2],11)=>3
([5,2,1,1],11)=>4
([5,1,1,1,1],11)=>3
([4,4,1],11)=>3
([4,3,2],11)=>4
([4,3,1,1],11)=>4
([4,2,2,1],11)=>4
([4,2,1,1,1],11)=>4
([4,1,1,1,1,1],11)=>3
([3,3,3],11)=>2
([3,3,2,1],11)=>4
([3,3,1,1,1],11)=>3
([3,2,2,2],11)=>3
([3,2,2,1,1],11)=>4
([3,2,1,1,1,1],11)=>4
([3,1,1,1,1,1,1],11)=>3
([2,2,2,2,1],11)=>3
([2,2,2,1,1,1],11)=>3
([2,2,1,1,1,1,1],11)=>3
([2,1,1,1,1,1,1,1],11)=>3
([1,1,1,1,1,1,1,1,1],11)=>2
([9],12)=>2
([8,1],12)=>3
([7,2],12)=>3
([7,1,1],12)=>3
([6,3],12)=>3
([6,2,1],12)=>4
([6,1,1,1],12)=>3
([5,4],12)=>3
([5,3,1],12)=>4
([5,2,2],12)=>3
([5,2,1,1],12)=>4
([5,1,1,1,1],12)=>3
([4,4,1],12)=>3
([4,3,2],12)=>4
([4,3,1,1],12)=>4
([4,2,2,1],12)=>4
([4,2,1,1,1],12)=>4
([4,1,1,1,1,1],12)=>3
([3,3,3],12)=>2
([3,3,2,1],12)=>4
([3,3,1,1,1],12)=>3
([3,2,2,2],12)=>3
([3,2,2,1,1],12)=>4
([3,2,1,1,1,1],12)=>4
([3,1,1,1,1,1,1],12)=>3
([2,2,2,2,1],12)=>3
([2,2,2,1,1,1],12)=>3
([2,2,1,1,1,1,1],12)=>3
([2,1,1,1,1,1,1,1],12)=>3
([1,1,1,1,1,1,1,1,1],12)=>2
([9],13)=>2
([8,1],13)=>3
([7,2],13)=>3
([7,1,1],13)=>3
([6,3],13)=>3
([6,2,1],13)=>4
([6,1,1,1],13)=>3
([5,4],13)=>3
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The number of strong covers of a core.
A strong cover has a length of one more than the core being covered and contains the core that is being covered.
The length of a $k$-core is the number of elements in that core which have a hook length of less than $k$. Alternatively the length of a core is the size of it's associated $k-1$-bounded partition.
A strong cover has a length of one more than the core being covered and contains the core that is being covered.
The length of a $k$-core is the number of elements in that core which have a hook length of less than $k$. Alternatively the length of a core is the size of it's associated $k-1$-bounded partition.
References
[1] Lam, T., Lapointe, L., Morse, J., Schilling, A., Shimozono, M., Zabrocki, M. $k$-Schur functions and affine Schubert calculus arXiv:1301.3569
Code
def statistic(C): return len(C.strong_covers())
Created
May 13, 2014 at 20:36 by Jon Allen
Updated
Dec 29, 2016 at 09:05 by Christian Stump
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!