*****************************************************************************
* www.FindStat.org - The Combinatorial Statistic Finder *
* *
* Copyright (C) 2019 The FindStatCrew <info@findstat.org> *
* *
* This information is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *
*****************************************************************************
-----------------------------------------------------------------------------
Statistic identifier: St000191
-----------------------------------------------------------------------------
Collection: Cores
-----------------------------------------------------------------------------
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.
-----------------------------------------------------------------------------
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())
-----------------------------------------------------------------------------
Statistic values:
([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
-----------------------------------------------------------------------------
Created: May 13, 2014 at 20:36 by Jon Allen
-----------------------------------------------------------------------------
Last Updated: Dec 29, 2016 at 09:05 by Christian Stump