*****************************************************************************
* 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: St000158
-----------------------------------------------------------------------------
Collection: Cores
-----------------------------------------------------------------------------
Description: The length of a core.
The length of a k-core is defined as the size of the corresponding (k-1)-bounded partition. This equals the number of boxes in the core which have hook length less than k.
-----------------------------------------------------------------------------
References: [1] a(n) = number of partitions of n into at most 3 parts; also partitions of n+3 in which the greatest part is 3; also multigraphs with 3 nodes and n edges. [[OEIS:A001399]]
[2] Number of partitions of n into at most 4 parts. [[OEIS:A001400]]
[3] Number of partitions of n into at most 5 parts. [[OEIS:A001401]]
[4] Number of partitions of n into at most 6 parts. [[OEIS:A001402]]
-----------------------------------------------------------------------------
Code:
def statistic(C):
return C.length()
-----------------------------------------------------------------------------
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) => 3
([2,1,1],3) => 3
([3],4) => 3
([2,1],4) => 3
([1,1,1],4) => 3
([3],5) => 3
([2,1],5) => 3
([1,1,1],5) => 3
([3],6) => 3
([2,1],6) => 3
([1,1,1],6) => 3
([4,2],3) => 4
([3,1,1],3) => 4
([2,2,1,1],3) => 4
([4,1],4) => 4
([2,2],4) => 4
([3,1,1],4) => 4
([2,1,1,1],4) => 4
([4],5) => 4
([3,1],5) => 4
([2,2],5) => 4
([2,1,1],5) => 4
([1,1,1,1],5) => 4
([4],6) => 4
([3,1],6) => 4
([2,2],6) => 4
([2,1,1],6) => 4
([1,1,1,1],6) => 4
([5,3,1],3) => 5
([4,2,1,1],3) => 5
([3,2,2,1,1],3) => 5
([5,2],4) => 5
([4,1,1],4) => 5
([3,2,1],4) => 5
([3,1,1,1],4) => 5
([2,2,1,1,1],4) => 5
([5,1],5) => 5
([3,2],5) => 5
([4,1,1],5) => 5
([2,2,1],5) => 5
([3,1,1,1],5) => 5
([2,1,1,1,1],5) => 5
([5],6) => 5
([4,1],6) => 5
([3,2],6) => 5
([3,1,1],6) => 5
([2,2,1],6) => 5
([2,1,1,1],6) => 5
([1,1,1,1,1],6) => 5
([6,4,2],3) => 6
([5,3,1,1],3) => 6
([4,2,2,1,1],3) => 6
([3,3,2,2,1,1],3) => 6
([6,3],4) => 6
([5,2,1],4) => 6
([4,1,1,1],4) => 6
([4,2,2],4) => 6
([3,3,1,1],4) => 6
([3,2,1,1,1],4) => 6
([2,2,2,1,1,1],4) => 6
([6,2],5) => 6
([5,1,1],5) => 6
([3,3],5) => 6
([4,2,1],5) => 6
([4,1,1,1],5) => 6
([2,2,2],5) => 6
([3,2,1,1],5) => 6
([3,1,1,1,1],5) => 6
([2,2,1,1,1,1],5) => 6
([6,1],6) => 6
([4,2],6) => 6
([5,1,1],6) => 6
([3,3],6) => 6
([3,2,1],6) => 6
([4,1,1,1],6) => 6
([2,2,2],6) => 6
([2,2,1,1],6) => 6
([3,1,1,1,1],6) => 6
([2,1,1,1,1,1],6) => 6
([7,2],6) => 7
([6,1,1],6) => 7
([4,3],6) => 7
([5,2,1],6) => 7
([5,1,1,1],6) => 7
([3,3,1],6) => 7
([3,2,2],6) => 7
([4,2,1,1],6) => 7
([4,1,1,1,1],6) => 7
([2,2,2,1],6) => 7
([3,2,1,1,1],6) => 7
([3,1,1,1,1,1],6) => 7
([2,2,1,1,1,1,1],6) => 7
([2,1],2) => 2
([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
([3,2,1],2) => 3
([3],7) => 3
([2,1],7) => 3
([1,1,1],7) => 3
([3],8) => 3
([2,1],8) => 3
([1,1,1],8) => 3
([3],9) => 3
([2,1],9) => 3
([1,1,1],9) => 3
([3],10) => 3
([2,1],10) => 3
([1,1,1],10) => 3
([3],11) => 3
([2,1],11) => 3
([1,1,1],11) => 3
([4,3,2,1],2) => 4
([4],7) => 4
([3,1],7) => 4
([2,2],7) => 4
([2,1,1],7) => 4
([1,1,1,1],7) => 4
([4],8) => 4
([3,1],8) => 4
([2,2],8) => 4
([2,1,1],8) => 4
([1,1,1,1],8) => 4
([4],9) => 4
([3,1],9) => 4
([2,2],9) => 4
([2,1,1],9) => 4
([1,1,1,1],9) => 4
([4],10) => 4
([3,1],10) => 4
([2,2],10) => 4
([2,1,1],10) => 4
([1,1,1,1],10) => 4
([4],11) => 4
([3,1],11) => 4
([2,2],11) => 4
([2,1,1],11) => 4
([1,1,1,1],11) => 4
([5,4,3,2,1],2) => 5
([5],7) => 5
([4,1],7) => 5
([3,2],7) => 5
([3,1,1],7) => 5
([2,2,1],7) => 5
([2,1,1,1],7) => 5
([1,1,1,1,1],7) => 5
([5],8) => 5
([4,1],8) => 5
([3,2],8) => 5
([3,1,1],8) => 5
([2,2,1],8) => 5
([2,1,1,1],8) => 5
([1,1,1,1,1],8) => 5
([5],9) => 5
([4,1],9) => 5
([3,2],9) => 5
([3,1,1],9) => 5
([2,2,1],9) => 5
([2,1,1,1],9) => 5
([1,1,1,1,1],9) => 5
([5],10) => 5
([4,1],10) => 5
([3,2],10) => 5
([3,1,1],10) => 5
([2,2,1],10) => 5
([2,1,1,1],10) => 5
([1,1,1,1,1],10) => 5
([5],11) => 5
([4,1],11) => 5
([3,2],11) => 5
([3,1,1],11) => 5
([2,2,1],11) => 5
([2,1,1,1],11) => 5
([1,1,1,1,1],11) => 5
([6,5,4,3,2,1],2) => 6
([6],7) => 6
([5,1],7) => 6
([4,2],7) => 6
([4,1,1],7) => 6
([3,3],7) => 6
([3,2,1],7) => 6
([3,1,1,1],7) => 6
([2,2,2],7) => 6
([2,2,1,1],7) => 6
([2,1,1,1,1],7) => 6
([1,1,1,1,1,1],7) => 6
([6],8) => 6
([5,1],8) => 6
([4,2],8) => 6
([4,1,1],8) => 6
([3,3],8) => 6
([3,2,1],8) => 6
([3,1,1,1],8) => 6
([2,2,2],8) => 6
([2,2,1,1],8) => 6
([2,1,1,1,1],8) => 6
([1,1,1,1,1,1],8) => 6
([6],9) => 6
([5,1],9) => 6
([4,2],9) => 6
([4,1,1],9) => 6
([3,3],9) => 6
([3,2,1],9) => 6
([3,1,1,1],9) => 6
([2,2,2],9) => 6
([2,2,1,1],9) => 6
([2,1,1,1,1],9) => 6
([1,1,1,1,1,1],9) => 6
([6],10) => 6
([5,1],10) => 6
([4,2],10) => 6
([4,1,1],10) => 6
([3,3],10) => 6
([3,2,1],10) => 6
([3,1,1,1],10) => 6
([2,2,2],10) => 6
([2,2,1,1],10) => 6
([2,1,1,1,1],10) => 6
([1,1,1,1,1,1],10) => 6
([6],11) => 6
([5,1],11) => 6
([4,2],11) => 6
([4,1,1],11) => 6
([3,3],11) => 6
([3,2,1],11) => 6
([3,1,1,1],11) => 6
([2,2,2],11) => 6
([2,2,1,1],11) => 6
([2,1,1,1,1],11) => 6
([1,1,1,1,1,1],11) => 6
([7,6,5,4,3,2,1],2) => 7
([7,5,3,1],3) => 7
([6,4,2,1,1],3) => 7
([5,3,2,2,1,1],3) => 7
([4,3,3,2,2,1,1],3) => 7
([7,4,1],4) => 7
([5,2,2],4) => 7
([6,3,1,1],4) => 7
([5,2,1,1,1],4) => 7
([4,3,2,1],4) => 7
([3,3,1,1,1],4) => 7
([4,2,2,1,1,1],4) => 7
([3,2,2,2,1,1,1],4) => 7
([7,3],5) => 7
([6,2,1],5) => 7
([5,1,1,1],5) => 7
([4,3,1],5) => 7
([5,2,2],5) => 7
([4,2,1,1],5) => 7
([4,1,1,1,1],5) => 7
([3,2,2,1],5) => 7
([3,3,1,1,1],5) => 7
([3,2,1,1,1,1],5) => 7
([2,2,2,1,1,1,1],5) => 7
([7,1],7) => 7
([5,2],7) => 7
([6,1,1],7) => 7
([4,3],7) => 7
([4,2,1],7) => 7
([5,1,1,1],7) => 7
([3,3,1],7) => 7
([3,2,2],7) => 7
([3,2,1,1],7) => 7
([4,1,1,1,1],7) => 7
([2,2,2,1],7) => 7
([2,2,1,1,1],7) => 7
([3,1,1,1,1,1],7) => 7
([2,1,1,1,1,1,1],7) => 7
([7],8) => 7
([6,1],8) => 7
([5,2],8) => 7
([5,1,1],8) => 7
([4,3],8) => 7
([4,2,1],8) => 7
([4,1,1,1],8) => 7
([3,3,1],8) => 7
([3,2,2],8) => 7
([3,2,1,1],8) => 7
([3,1,1,1,1],8) => 7
([2,2,2,1],8) => 7
([2,2,1,1,1],8) => 7
([2,1,1,1,1,1],8) => 7
([1,1,1,1,1,1,1],8) => 7
([7],9) => 7
([6,1],9) => 7
([5,2],9) => 7
([5,1,1],9) => 7
([4,3],9) => 7
([4,2,1],9) => 7
([4,1,1,1],9) => 7
([3,3,1],9) => 7
([3,2,2],9) => 7
([3,2,1,1],9) => 7
([3,1,1,1,1],9) => 7
([2,2,2,1],9) => 7
([2,2,1,1,1],9) => 7
([2,1,1,1,1,1],9) => 7
([1,1,1,1,1,1,1],9) => 7
([7],10) => 7
([6,1],10) => 7
([5,2],10) => 7
([5,1,1],10) => 7
([4,3],10) => 7
([4,2,1],10) => 7
([4,1,1,1],10) => 7
([3,3,1],10) => 7
([3,2,2],10) => 7
([3,2,1,1],10) => 7
([3,1,1,1,1],10) => 7
([2,2,2,1],10) => 7
([2,2,1,1,1],10) => 7
([2,1,1,1,1,1],10) => 7
([1,1,1,1,1,1,1],10) => 7
([7],11) => 7
([6,1],11) => 7
([5,2],11) => 7
([5,1,1],11) => 7
([4,3],11) => 7
([4,2,1],11) => 7
([4,1,1,1],11) => 7
([3,3,1],11) => 7
([3,2,2],11) => 7
([3,2,1,1],11) => 7
([3,1,1,1,1],11) => 7
([2,2,2,1],11) => 7
([2,2,1,1,1],11) => 7
([2,1,1,1,1,1],11) => 7
([1,1,1,1,1,1,1],11) => 7
([8,7,6,5,4,3,2,1],2) => 8
([8,6,4,2],3) => 8
([7,5,3,1,1],3) => 8
([6,4,2,2,1,1],3) => 8
([5,3,3,2,2,1,1],3) => 8
([4,4,3,3,2,2,1,1],3) => 8
([8,5,2],4) => 8
([7,4,1,1],4) => 8
([6,3,2,1],4) => 8
([6,3,1,1,1],4) => 8
([5,2,2,1,1,1],4) => 8
([4,4,2,2],4) => 8
([5,3,3,1,1],4) => 8
([4,3,2,1,1,1],4) => 8
([4,2,2,2,1,1,1],4) => 8
([3,3,2,2,2,1,1,1],4) => 8
([8,4],5) => 8
([7,3,1],5) => 8
([6,2,2],5) => 8
([6,2,1,1],5) => 8
([5,1,1,1,1],5) => 8
([5,3,2],5) => 8
([4,4,1,1],5) => 8
([5,2,2,1],5) => 8
([4,3,1,1,1],5) => 8
([4,2,1,1,1,1],5) => 8
([4,2,2,2],5) => 8
([3,3,2,1,1],5) => 8
([3,3,1,1,1,1],5) => 8
([3,2,2,1,1,1,1],5) => 8
([2,2,2,2,1,1,1,1],5) => 8
([8,3],6) => 8
([7,2,1],6) => 8
([6,1,1,1],6) => 8
([4,4],6) => 8
([5,3,1],6) => 8
([6,2,2],6) => 8
([5,2,1,1],6) => 8
([5,1,1,1,1],6) => 8
([3,3,2],6) => 8
([4,3,1,1],6) => 8
([4,2,2,1],6) => 8
([4,2,1,1,1],6) => 8
([4,1,1,1,1,1],6) => 8
([2,2,2,2],6) => 8
([3,2,2,1,1],6) => 8
([3,3,1,1,1,1],6) => 8
([3,2,1,1,1,1,1],6) => 8
([2,2,2,1,1,1,1,1],6) => 8
([8,2],7) => 8
([7,1,1],7) => 8
([5,3],7) => 8
([6,2,1],7) => 8
([6,1,1,1],7) => 8
([4,4],7) => 8
([4,3,1],7) => 8
([4,2,2],7) => 8
([5,2,1,1],7) => 8
([5,1,1,1,1],7) => 8
([3,3,2],7) => 8
([3,3,1,1],7) => 8
([3,2,2,1],7) => 8
([4,2,1,1,1],7) => 8
([4,1,1,1,1,1],7) => 8
([2,2,2,2],7) => 8
([2,2,2,1,1],7) => 8
([3,2,1,1,1,1],7) => 8
([3,1,1,1,1,1,1],7) => 8
([2,2,1,1,1,1,1,1],7) => 8
([8,1],8) => 8
([6,2],8) => 8
([7,1,1],8) => 8
([5,3],8) => 8
([5,2,1],8) => 8
([6,1,1,1],8) => 8
([4,4],8) => 8
([4,3,1],8) => 8
([4,2,2],8) => 8
([4,2,1,1],8) => 8
([5,1,1,1,1],8) => 8
([3,3,2],8) => 8
([3,3,1,1],8) => 8
([3,2,2,1],8) => 8
([3,2,1,1,1],8) => 8
([4,1,1,1,1,1],8) => 8
([2,2,2,2],8) => 8
([2,2,2,1,1],8) => 8
([2,2,1,1,1,1],8) => 8
([3,1,1,1,1,1,1],8) => 8
([2,1,1,1,1,1,1,1],8) => 8
([8],9) => 8
([7,1],9) => 8
([6,2],9) => 8
([6,1,1],9) => 8
([5,3],9) => 8
([5,2,1],9) => 8
([5,1,1,1],9) => 8
([4,4],9) => 8
([4,3,1],9) => 8
([4,2,2],9) => 8
([4,2,1,1],9) => 8
([4,1,1,1,1],9) => 8
([3,3,2],9) => 8
([3,3,1,1],9) => 8
([3,2,2,1],9) => 8
([3,2,1,1,1],9) => 8
([3,1,1,1,1,1],9) => 8
([2,2,2,2],9) => 8
([2,2,2,1,1],9) => 8
([2,2,1,1,1,1],9) => 8
([2,1,1,1,1,1,1],9) => 8
([1,1,1,1,1,1,1,1],9) => 8
([8],10) => 8
([7,1],10) => 8
([6,2],10) => 8
([6,1,1],10) => 8
([5,3],10) => 8
([5,2,1],10) => 8
([5,1,1,1],10) => 8
([4,4],10) => 8
([4,3,1],10) => 8
([4,2,2],10) => 8
([4,2,1,1],10) => 8
([4,1,1,1,1],10) => 8
([3,3,2],10) => 8
([3,3,1,1],10) => 8
([3,2,2,1],10) => 8
([3,2,1,1,1],10) => 8
([3,1,1,1,1,1],10) => 8
([2,2,2,2],10) => 8
([2,2,2,1,1],10) => 8
([2,2,1,1,1,1],10) => 8
([2,1,1,1,1,1,1],10) => 8
([1,1,1,1,1,1,1,1],10) => 8
([8],11) => 8
([7,1],11) => 8
([6,2],11) => 8
([6,1,1],11) => 8
([5,3],11) => 8
([5,2,1],11) => 8
([5,1,1,1],11) => 8
([4,4],11) => 8
([4,3,1],11) => 8
([4,2,2],11) => 8
([4,2,1,1],11) => 8
([4,1,1,1,1],11) => 8
([3,3,2],11) => 8
([3,3,1,1],11) => 8
([3,2,2,1],11) => 8
([3,2,1,1,1],11) => 8
([3,1,1,1,1,1],11) => 8
([2,2,2,2],11) => 8
([2,2,2,1,1],11) => 8
([2,2,1,1,1,1],11) => 8
([2,1,1,1,1,1,1],11) => 8
([1,1,1,1,1,1,1,1],11) => 8
([9,8,7,6,5,4,3,2,1],2) => 9
([9,7,5,3,1],3) => 9
([8,6,4,2,1,1],3) => 9
([7,5,3,2,2,1,1],3) => 9
([6,4,3,3,2,2,1,1],3) => 9
([5,4,4,3,3,2,2,1,1],3) => 9
([9,6,3],4) => 9
([8,5,2,1],4) => 9
([7,4,1,1,1],4) => 9
([7,4,2,2],4) => 9
([6,3,3,1,1],4) => 9
([6,3,2,1,1,1],4) => 9
([5,2,2,2,1,1,1],4) => 9
([5,4,3,2,1],4) => 9
([5,3,3,1,1,1],4) => 9
([4,4,2,2,1,1,1],4) => 9
([4,3,2,2,2,1,1,1],4) => 9
([3,3,3,2,2,2,1,1,1],4) => 9
([9,5,1],5) => 9
([7,3,2],5) => 9
([8,4,1,1],5) => 9
([6,2,2,1],5) => 9
([7,3,1,1,1],5) => 9
([6,2,1,1,1,1],5) => 9
([6,3,3],5) => 9
([5,4,2,1],5) => 9
([4,4,1,1,1],5) => 9
([5,2,2,2],5) => 9
([5,3,2,1,1],5) => 9
([4,3,1,1,1,1],5) => 9
([5,2,2,1,1,1,1],5) => 9
([4,3,2,2,1],5) => 9
([3,3,3,1,1,1],5) => 9
([3,3,2,1,1,1,1],5) => 9
([4,2,2,2,1,1,1,1],5) => 9
([3,2,2,2,2,1,1,1,1],5) => 9
([9,4],6) => 9
([8,3,1],6) => 9
([7,2,2],6) => 9
([7,2,1,1],6) => 9
([6,1,1,1,1],6) => 9
([5,4,1],6) => 9
([6,3,2],6) => 9
([5,3,1,1],6) => 9
([6,2,2,1],6) => 9
([5,2,1,1,1],6) => 9
([5,1,1,1,1,1],6) => 9
([3,3,3],6) => 9
([4,3,2,1],6) => 9
([4,4,1,1,1],6) => 9
([5,2,2,2],6) => 9
([4,2,2,1,1],6) => 9
([4,3,1,1,1,1],6) => 9
([4,2,1,1,1,1,1],6) => 9
([3,2,2,2,1],6) => 9
([3,3,2,1,1,1],6) => 9
([3,3,1,1,1,1,1],6) => 9
([3,2,2,1,1,1,1,1],6) => 9
([2,2,2,2,1,1,1,1,1],6) => 9
([9,3],7) => 9
([8,2,1],7) => 9
([7,1,1,1],7) => 9
([5,4],7) => 9
([6,3,1],7) => 9
([7,2,2],7) => 9
([6,2,1,1],7) => 9
([6,1,1,1,1],7) => 9
([4,4,1],7) => 9
([4,3,2],7) => 9
([5,3,1,1],7) => 9
([5,2,2,1],7) => 9
([5,2,1,1,1],7) => 9
([5,1,1,1,1,1],7) => 9
([3,3,3],7) => 9
([3,3,2,1],7) => 9
([4,3,1,1,1],7) => 9
([3,2,2,2],7) => 9
([4,2,2,1,1],7) => 9
([4,2,1,1,1,1],7) => 9
([4,1,1,1,1,1,1],7) => 9
([2,2,2,2,1],7) => 9
([3,2,2,1,1,1],7) => 9
([3,3,1,1,1,1,1],7) => 9
([3,2,1,1,1,1,1,1],7) => 9
([2,2,2,1,1,1,1,1,1],7) => 9
([9,2],8) => 9
([8,1,1],8) => 9
([6,3],8) => 9
([7,2,1],8) => 9
([7,1,1,1],8) => 9
([5,4],8) => 9
([5,3,1],8) => 9
([5,2,2],8) => 9
([6,2,1,1],8) => 9
([6,1,1,1,1],8) => 9
([4,4,1],8) => 9
([4,3,2],8) => 9
([4,3,1,1],8) => 9
([4,2,2,1],8) => 9
([5,2,1,1,1],8) => 9
([5,1,1,1,1,1],8) => 9
([3,3,3],8) => 9
([3,3,2,1],8) => 9
([3,3,1,1,1],8) => 9
([3,2,2,2],8) => 9
([3,2,2,1,1],8) => 9
([4,2,1,1,1,1],8) => 9
([4,1,1,1,1,1,1],8) => 9
([2,2,2,2,1],8) => 9
([2,2,2,1,1,1],8) => 9
([3,2,1,1,1,1,1],8) => 9
([3,1,1,1,1,1,1,1],8) => 9
([2,2,1,1,1,1,1,1,1],8) => 9
([9,1],9) => 9
([7,2],9) => 9
([8,1,1],9) => 9
([6,3],9) => 9
([6,2,1],9) => 9
([7,1,1,1],9) => 9
([5,4],9) => 9
([5,3,1],9) => 9
([5,2,2],9) => 9
([5,2,1,1],9) => 9
([6,1,1,1,1],9) => 9
([4,4,1],9) => 9
([4,3,2],9) => 9
([4,3,1,1],9) => 9
([4,2,2,1],9) => 9
([4,2,1,1,1],9) => 9
([5,1,1,1,1,1],9) => 9
([3,3,3],9) => 9
([3,3,2,1],9) => 9
([3,3,1,1,1],9) => 9
([3,2,2,2],9) => 9
([3,2,2,1,1],9) => 9
([3,2,1,1,1,1],9) => 9
([4,1,1,1,1,1,1],9) => 9
([2,2,2,2,1],9) => 9
([2,2,2,1,1,1],9) => 9
([2,2,1,1,1,1,1],9) => 9
([3,1,1,1,1,1,1,1],9) => 9
([2,1,1,1,1,1,1,1,1],9) => 9
([9],10) => 9
([8,1],10) => 9
([7,2],10) => 9
([7,1,1],10) => 9
([6,3],10) => 9
([6,2,1],10) => 9
([6,1,1,1],10) => 9
([5,4],10) => 9
([5,3,1],10) => 9
([5,2,2],10) => 9
([5,2,1,1],10) => 9
([5,1,1,1,1],10) => 9
([4,4,1],10) => 9
([4,3,2],10) => 9
([4,3,1,1],10) => 9
([4,2,2,1],10) => 9
([4,2,1,1,1],10) => 9
([4,1,1,1,1,1],10) => 9
([3,3,3],10) => 9
([3,3,2,1],10) => 9
([3,3,1,1,1],10) => 9
([3,2,2,2],10) => 9
([3,2,2,1,1],10) => 9
([3,2,1,1,1,1],10) => 9
([3,1,1,1,1,1,1],10) => 9
([2,2,2,2,1],10) => 9
([2,2,2,1,1,1],10) => 9
([2,2,1,1,1,1,1],10) => 9
([2,1,1,1,1,1,1,1],10) => 9
([1,1,1,1,1,1,1,1,1],10) => 9
([9],11) => 9
([8,1],11) => 9
([7,2],11) => 9
([7,1,1],11) => 9
([6,3],11) => 9
([6,2,1],11) => 9
([6,1,1,1],11) => 9
([5,4],11) => 9
([5,3,1],11) => 9
([5,2,2],11) => 9
([5,2,1,1],11) => 9
([5,1,1,1,1],11) => 9
([4,4,1],11) => 9
([4,3,2],11) => 9
([4,3,1,1],11) => 9
([4,2,2,1],11) => 9
([4,2,1,1,1],11) => 9
([4,1,1,1,1,1],11) => 9
([3,3,3],11) => 9
([3,3,2,1],11) => 9
([3,3,1,1,1],11) => 9
([3,2,2,2],11) => 9
([3,2,2,1,1],11) => 9
([3,2,1,1,1,1],11) => 9
([3,1,1,1,1,1,1],11) => 9
([2,2,2,2,1],11) => 9
([2,2,2,1,1,1],11) => 9
([2,2,1,1,1,1,1],11) => 9
([2,1,1,1,1,1,1,1],11) => 9
([1,1,1,1,1,1,1,1,1],11) => 9
([10,9,8,7,6,5,4,3,2,1],2) => 10
([10,8,6,4,2],3) => 10
([9,7,5,3,1,1],3) => 10
([8,6,4,2,2,1,1],3) => 10
([7,5,3,3,2,2,1,1],3) => 10
([6,4,4,3,3,2,2,1,1],3) => 10
([5,5,4,4,3,3,2,2,1,1],3) => 10
([10,7,4,1],4) => 10
([8,5,2,2],4) => 10
([9,6,3,1,1],4) => 10
([8,5,2,1,1,1],4) => 10
([7,4,3,2,1],4) => 10
([6,3,3,1,1,1],4) => 10
([7,4,2,2,1,1,1],4) => 10
([6,3,2,2,2,1,1,1],4) => 10
([6,4,4,2,2],4) => 10
([5,5,3,3,1,1],4) => 10
([5,4,3,2,1,1,1],4) => 10
([4,4,2,2,2,1,1,1],4) => 10
([5,3,3,2,2,2,1,1,1],4) => 10
([4,3,3,3,2,2,2,1,1,1],4) => 10
([10,6,2],5) => 10
([9,5,1,1],5) => 10
([7,3,3],5) => 10
([8,4,2,1],5) => 10
([8,4,1,1,1],5) => 10
([6,2,2,2],5) => 10
([7,3,2,1,1],5) => 10
([7,3,1,1,1,1],5) => 10
([6,2,2,1,1,1,1],5) => 10
([6,4,3,1],5) => 10
([5,5,2,2],5) => 10
([5,4,2,1,1],5) => 10
([4,4,1,1,1,1],5) => 10
([5,3,2,2,1],5) => 10
([6,3,3,1,1,1],5) => 10
([5,3,2,1,1,1,1],5) => 10
([5,2,2,2,1,1,1,1],5) => 10
([4,4,2,2,2],5) => 10
([4,3,3,2,1,1],5) => 10
([3,3,3,1,1,1,1],5) => 10
([4,3,2,2,1,1,1,1],5) => 10
([4,2,2,2,2,1,1,1,1],5) => 10
([3,3,2,2,2,2,1,1,1,1],5) => 10
([10,5],6) => 10
([9,4,1],6) => 10
([8,3,2],6) => 10
([8,3,1,1],6) => 10
([7,2,2,1],6) => 10
([7,2,1,1,1],6) => 10
([6,1,1,1,1,1],6) => 10
([6,4,2],6) => 10
([5,5,1,1],6) => 10
([7,3,3],6) => 10
([6,3,2,1],6) => 10
([5,4,1,1,1],6) => 10
([6,2,2,2],6) => 10
([6,2,2,1,1],6) => 10
([5,3,1,1,1,1],6) => 10
([5,2,1,1,1,1,1],6) => 10
([4,3,3,1],6) => 10
([5,3,2,2],6) => 10
([4,4,2,1,1],6) => 10
([4,4,1,1,1,1],6) => 10
([5,2,2,2,1],6) => 10
([4,3,2,1,1,1],6) => 10
([4,3,1,1,1,1,1],6) => 10
([4,2,2,1,1,1,1,1],6) => 10
([4,2,2,2,2],6) => 10
([3,3,2,2,1,1],6) => 10
([3,3,3,1,1,1,1],6) => 10
([3,3,2,1,1,1,1,1],6) => 10
([3,2,2,2,1,1,1,1,1],6) => 10
([2,2,2,2,2,1,1,1,1,1],6) => 10
([10,4],7) => 10
([9,3,1],7) => 10
([8,2,2],7) => 10
([8,2,1,1],7) => 10
([7,1,1,1,1],7) => 10
([5,5],7) => 10
([6,4,1],7) => 10
([7,3,2],7) => 10
([6,3,1,1],7) => 10
([7,2,2,1],7) => 10
([6,2,1,1,1],7) => 10
([6,1,1,1,1,1],7) => 10
([4,4,2],7) => 10
([5,4,1,1],7) => 10
([4,3,3],7) => 10
([5,3,2,1],7) => 10
([5,3,1,1,1],7) => 10
([6,2,2,2],7) => 10
([5,2,2,1,1],7) => 10
([5,2,1,1,1,1],7) => 10
([5,1,1,1,1,1,1],7) => 10
([3,3,3,1],7) => 10
([3,3,2,2],7) => 10
([4,3,2,1,1],7) => 10
([4,4,1,1,1,1],7) => 10
([4,2,2,2,1],7) => 10
([4,2,2,1,1,1],7) => 10
([4,3,1,1,1,1,1],7) => 10
([4,2,1,1,1,1,1,1],7) => 10
([2,2,2,2,2],7) => 10
([3,2,2,2,1,1],7) => 10
([3,3,2,1,1,1,1],7) => 10
([3,3,1,1,1,1,1,1],7) => 10
([3,2,2,1,1,1,1,1,1],7) => 10
([2,2,2,2,1,1,1,1,1,1],7) => 10
([10,3],8) => 10
([9,2,1],8) => 10
([8,1,1,1],8) => 10
([6,4],8) => 10
([7,3,1],8) => 10
([8,2,2],8) => 10
([7,2,1,1],8) => 10
([7,1,1,1,1],8) => 10
([5,5],8) => 10
([5,4,1],8) => 10
([5,3,2],8) => 10
([6,3,1,1],8) => 10
([6,2,2,1],8) => 10
([6,2,1,1,1],8) => 10
([6,1,1,1,1,1],8) => 10
([4,4,2],8) => 10
([4,4,1,1],8) => 10
([4,3,3],8) => 10
([4,3,2,1],8) => 10
([5,3,1,1,1],8) => 10
([4,2,2,2],8) => 10
([5,2,2,1,1],8) => 10
([5,2,1,1,1,1],8) => 10
([5,1,1,1,1,1,1],8) => 10
([3,3,3,1],8) => 10
([3,3,2,2],8) => 10
([3,3,2,1,1],8) => 10
([4,3,1,1,1,1],8) => 10
([3,2,2,2,1],8) => 10
([4,2,2,1,1,1],8) => 10
([4,2,1,1,1,1,1],8) => 10
([4,1,1,1,1,1,1,1],8) => 10
([2,2,2,2,2],8) => 10
([2,2,2,2,1,1],8) => 10
([3,2,2,1,1,1,1],8) => 10
([3,3,1,1,1,1,1,1],8) => 10
([3,2,1,1,1,1,1,1,1],8) => 10
([2,2,2,1,1,1,1,1,1,1],8) => 10
([10,2],9) => 10
([9,1,1],9) => 10
([7,3],9) => 10
([8,2,1],9) => 10
([8,1,1,1],9) => 10
([6,4],9) => 10
([6,3,1],9) => 10
([6,2,2],9) => 10
([7,2,1,1],9) => 10
([7,1,1,1,1],9) => 10
([5,5],9) => 10
([5,4,1],9) => 10
([5,3,2],9) => 10
([5,3,1,1],9) => 10
([5,2,2,1],9) => 10
([6,2,1,1,1],9) => 10
([6,1,1,1,1,1],9) => 10
([4,4,2],9) => 10
([4,4,1,1],9) => 10
([4,3,3],9) => 10
([4,3,2,1],9) => 10
([4,3,1,1,1],9) => 10
([4,2,2,2],9) => 10
([4,2,2,1,1],9) => 10
([5,2,1,1,1,1],9) => 10
([5,1,1,1,1,1,1],9) => 10
([3,3,3,1],9) => 10
([3,3,2,2],9) => 10
([3,3,2,1,1],9) => 10
([3,3,1,1,1,1],9) => 10
([3,2,2,2,1],9) => 10
([3,2,2,1,1,1],9) => 10
([4,2,1,1,1,1,1],9) => 10
([4,1,1,1,1,1,1,1],9) => 10
([2,2,2,2,2],9) => 10
([2,2,2,2,1,1],9) => 10
([2,2,2,1,1,1,1],9) => 10
([3,2,1,1,1,1,1,1],9) => 10
([3,1,1,1,1,1,1,1,1],9) => 10
([2,2,1,1,1,1,1,1,1,1],9) => 10
([10,1],10) => 10
([8,2],10) => 10
([9,1,1],10) => 10
([7,3],10) => 10
([7,2,1],10) => 10
([8,1,1,1],10) => 10
([6,4],10) => 10
([6,3,1],10) => 10
([6,2,2],10) => 10
([6,2,1,1],10) => 10
([7,1,1,1,1],10) => 10
([5,5],10) => 10
([5,4,1],10) => 10
([5,3,2],10) => 10
([5,3,1,1],10) => 10
([5,2,2,1],10) => 10
([5,2,1,1,1],10) => 10
([6,1,1,1,1,1],10) => 10
([4,4,2],10) => 10
([4,4,1,1],10) => 10
([4,3,3],10) => 10
([4,3,2,1],10) => 10
([4,3,1,1,1],10) => 10
([4,2,2,2],10) => 10
([4,2,2,1,1],10) => 10
([4,2,1,1,1,1],10) => 10
([5,1,1,1,1,1,1],10) => 10
([3,3,3,1],10) => 10
([3,3,2,2],10) => 10
([3,3,2,1,1],10) => 10
([3,3,1,1,1,1],10) => 10
([3,2,2,2,1],10) => 10
([3,2,2,1,1,1],10) => 10
([3,2,1,1,1,1,1],10) => 10
([4,1,1,1,1,1,1,1],10) => 10
([2,2,2,2,2],10) => 10
([2,2,2,2,1,1],10) => 10
([2,2,2,1,1,1,1],10) => 10
([2,2,1,1,1,1,1,1],10) => 10
([3,1,1,1,1,1,1,1,1],10) => 10
([2,1,1,1,1,1,1,1,1,1],10) => 10
([10],11) => 10
([9,1],11) => 10
([8,2],11) => 10
([8,1,1],11) => 10
([7,3],11) => 10
([7,2,1],11) => 10
([7,1,1,1],11) => 10
([6,4],11) => 10
([6,3,1],11) => 10
([6,2,2],11) => 10
([6,2,1,1],11) => 10
([6,1,1,1,1],11) => 10
([5,5],11) => 10
([5,4,1],11) => 10
([5,3,2],11) => 10
([5,3,1,1],11) => 10
([5,2,2,1],11) => 10
([5,2,1,1,1],11) => 10
([5,1,1,1,1,1],11) => 10
([4,4,2],11) => 10
([4,4,1,1],11) => 10
([4,3,3],11) => 10
([4,3,2,1],11) => 10
([4,3,1,1,1],11) => 10
([4,2,2,2],11) => 10
([4,2,2,1,1],11) => 10
([4,2,1,1,1,1],11) => 10
([4,1,1,1,1,1,1],11) => 10
([3,3,3,1],11) => 10
([3,3,2,2],11) => 10
([3,3,2,1,1],11) => 10
([3,3,1,1,1,1],11) => 10
([3,2,2,2,1],11) => 10
([3,2,2,1,1,1],11) => 10
([3,2,1,1,1,1,1],11) => 10
([3,1,1,1,1,1,1,1],11) => 10
([2,2,2,2,2],11) => 10
([2,2,2,2,1,1],11) => 10
([2,2,2,1,1,1,1],11) => 10
([2,2,1,1,1,1,1,1],11) => 10
([2,1,1,1,1,1,1,1,1],11) => 10
([1,1,1,1,1,1,1,1,1,1],11) => 10
-----------------------------------------------------------------------------
Created: Jul 29, 2013 at 21:34 by Jessica Striker
-----------------------------------------------------------------------------
Last Updated: Dec 30, 2016 at 10:37 by Christian Stump