*****************************************************************************
* 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: St000190
-----------------------------------------------------------------------------
Collection: Cores
-----------------------------------------------------------------------------
Description: The size of a core.
The size of a $k$-core is the integer that the core partitions.
-----------------------------------------------------------------------------
References: [1] a(n) = 1 if n is a triangular number else 0. [[OEIS:A010054]]
[2] Theta series of hexagonal lattice A_2 with respect to deep hole. [[OEIS:A033687]]
[3] Number of 4-core partitions of n. [[OEIS:A045831]]
[4] Number of 5-core partitions of n. [[OEIS:A053723]]
[5] Number of 6-core partitions of n. [[OEIS:A081622]]
[6] Number of 7-core partitions of n. [[OEIS:A053724]]
-----------------------------------------------------------------------------
Code:
def statistic(C):
return C.size()
-----------------------------------------------------------------------------
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) => 4
([2,1,1],3) => 4
([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) => 6
([3,1,1],3) => 5
([2,2,1,1],3) => 6
([4,1],4) => 5
([2,2],4) => 4
([3,1,1],4) => 5
([2,1,1,1],4) => 5
([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) => 9
([4,2,1,1],3) => 8
([3,2,2,1,1],3) => 9
([5,2],4) => 7
([4,1,1],4) => 6
([3,2,1],4) => 6
([3,1,1,1],4) => 6
([2,2,1,1,1],4) => 7
([5,1],5) => 6
([3,2],5) => 5
([4,1,1],5) => 6
([2,2,1],5) => 5
([3,1,1,1],5) => 6
([2,1,1,1,1],5) => 6
([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
([5,3,1,1],3) => 10
([4,2,2,1,1],3) => 10
([6,3],4) => 9
([5,2,1],4) => 8
([4,1,1,1],4) => 7
([4,2,2],4) => 8
([3,3,1,1],4) => 8
([3,2,1,1,1],4) => 8
([2,2,2,1,1,1],4) => 9
([6,2],5) => 8
([5,1,1],5) => 7
([3,3],5) => 6
([4,2,1],5) => 7
([4,1,1,1],5) => 7
([2,2,2],5) => 6
([3,2,1,1],5) => 7
([3,1,1,1,1],5) => 7
([2,2,1,1,1,1],5) => 8
([6,1],6) => 7
([4,2],6) => 6
([5,1,1],6) => 7
([3,3],6) => 6
([3,2,1],6) => 6
([4,1,1,1],6) => 7
([2,2,2],6) => 6
([2,2,1,1],6) => 6
([3,1,1,1,1],6) => 7
([2,1,1,1,1,1],6) => 7
([7,2],6) => 9
([6,1,1],6) => 8
([4,3],6) => 7
([5,2,1],6) => 8
([5,1,1,1],6) => 8
([3,3,1],6) => 7
([3,2,2],6) => 7
([4,2,1,1],6) => 8
([4,1,1,1,1],6) => 8
([2,2,2,1],6) => 7
([3,2,1,1,1],6) => 8
([3,1,1,1,1,1],6) => 8
([2,2,1,1,1,1,1],6) => 9
([],2) => 0
([1],2) => 1
([2,1],2) => 3
([3,2,1],2) => 6
([4,3,2,1],2) => 10
([],3) => 0
([1],3) => 1
([],4) => 0
([1],4) => 1
([5,2,2],4) => 9
([3,3,1,1,1],4) => 9
([5,2,1,1,1],4) => 10
([4,3,2,1],4) => 10
([6,3,1,1],4) => 11
([4,2,2,1,1,1],4) => 11
([],5) => 0
([1],5) => 1
([5,1,1,1],5) => 8
([4,3,1],5) => 8
([4,2,1,1],5) => 8
([4,1,1,1,1],5) => 8
([3,2,2,1],5) => 8
([6,2,1],5) => 9
([5,2,2],5) => 9
([5,1,1,1,1],5) => 9
([3,3,1,1,1],5) => 9
([3,2,1,1,1,1],5) => 9
([7,3],5) => 10
([6,2,2],5) => 10
([6,2,1,1],5) => 10
([5,3,2],5) => 10
([5,2,2,1],5) => 10
([4,4,1,1],5) => 10
([4,3,1,1,1],5) => 10
([4,2,2,2],5) => 10
([4,2,1,1,1,1],5) => 10
([3,3,2,1,1],5) => 10
([3,3,1,1,1,1],5) => 10
([2,2,2,1,1,1,1],5) => 10
([7,3,1],5) => 11
([6,2,2,1],5) => 11
([5,2,2,2],5) => 11
([4,4,1,1,1],5) => 11
([4,3,1,1,1,1],5) => 11
([3,2,2,1,1,1,1],5) => 11
([],6) => 0
([1],6) => 1
([4,4],6) => 8
([3,3,2],6) => 8
([2,2,2,2],6) => 8
([6,1,1,1],6) => 9
([5,3,1],6) => 9
([5,2,1,1],6) => 9
([5,1,1,1,1],6) => 9
([4,3,1,1],6) => 9
([4,2,2,1],6) => 9
([4,2,1,1,1],6) => 9
([4,1,1,1,1,1],6) => 9
([3,3,3],6) => 9
([3,2,2,1,1],6) => 9
([7,2,1],6) => 10
([6,2,2],6) => 10
([6,1,1,1,1],6) => 10
([5,4,1],6) => 10
([5,3,1,1],6) => 10
([5,2,1,1,1],6) => 10
([5,1,1,1,1,1],6) => 10
([4,3,2,1],6) => 10
([4,2,2,1,1],6) => 10
([3,3,1,1,1,1],6) => 10
([3,2,2,2,1],6) => 10
([3,2,1,1,1,1,1],6) => 10
([8,3],6) => 11
([7,2,2],6) => 11
([7,2,1,1],6) => 11
([6,3,2],6) => 11
([6,2,2,1],6) => 11
([6,1,1,1,1,1],6) => 11
([5,2,2,2],6) => 11
([4,4,1,1,1],6) => 11
([4,3,3,1],6) => 11
([4,3,1,1,1,1],6) => 11
([4,2,1,1,1,1,1],6) => 11
([3,3,2,1,1,1],6) => 11
([3,3,1,1,1,1,1],6) => 11
([2,2,2,1,1,1,1,1],6) => 11
([],7) => 0
([1],7) => 1
([2],7) => 2
([1,1],7) => 2
([3],7) => 3
([2,1],7) => 3
([1,1,1],7) => 3
([4],7) => 4
([3,1],7) => 4
([2,2],7) => 4
([2,1,1],7) => 4
([1,1,1,1],7) => 4
([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
([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
([5,2],7) => 7
([4,3],7) => 7
([4,2,1],7) => 7
([3,3,1],7) => 7
([3,2,2],7) => 7
([3,2,1,1],7) => 7
([2,2,2,1],7) => 7
([2,2,1,1,1],7) => 7
([7,1],7) => 8
([6,1,1],7) => 8
([5,3],7) => 8
([5,1,1,1],7) => 8
([4,4],7) => 8
([4,3,1],7) => 8
([4,2,2],7) => 8
([4,1,1,1,1],7) => 8
([3,3,2],7) => 8
([3,3,1,1],7) => 8
([3,2,2,1],7) => 8
([3,1,1,1,1,1],7) => 8
([2,2,2,2],7) => 8
([2,2,2,1,1],7) => 8
([2,1,1,1,1,1,1],7) => 8
([7,1,1],7) => 9
([6,2,1],7) => 9
([6,1,1,1],7) => 9
([5,4],7) => 9
([5,2,1,1],7) => 9
([5,1,1,1,1],7) => 9
([4,4,1],7) => 9
([4,3,2],7) => 9
([4,2,1,1,1],7) => 9
([4,1,1,1,1,1],7) => 9
([3,3,3],7) => 9
([3,3,2,1],7) => 9
([3,2,2,2],7) => 9
([3,2,1,1,1,1],7) => 9
([3,1,1,1,1,1,1],7) => 9
([2,2,2,2,1],7) => 9
([8,2],7) => 10
([7,1,1,1],7) => 10
([6,3,1],7) => 10
([6,2,1,1],7) => 10
([6,1,1,1,1],7) => 10
([5,5],7) => 10
([5,3,1,1],7) => 10
([5,2,2,1],7) => 10
([5,2,1,1,1],7) => 10
([5,1,1,1,1,1],7) => 10
([4,4,2],7) => 10
([4,3,3],7) => 10
([4,3,1,1,1],7) => 10
([4,2,2,1,1],7) => 10
([4,2,1,1,1,1],7) => 10
([4,1,1,1,1,1,1],7) => 10
([3,3,3,1],7) => 10
([3,3,2,2],7) => 10
([3,2,2,1,1,1],7) => 10
([2,2,2,2,2],7) => 10
([2,2,1,1,1,1,1,1],7) => 10
([8,2,1],7) => 11
([7,2,2],7) => 11
([7,1,1,1,1],7) => 11
([6,4,1],7) => 11
([6,3,1,1],7) => 11
([6,2,1,1,1],7) => 11
([6,1,1,1,1,1],7) => 11
([5,4,1,1],7) => 11
([5,3,2,1],7) => 11
([5,3,1,1,1],7) => 11
([5,2,2,1,1],7) => 11
([5,2,1,1,1,1],7) => 11
([5,1,1,1,1,1,1],7) => 11
([4,4,3],7) => 11
([4,3,2,1,1],7) => 11
([4,2,2,2,1],7) => 11
([4,2,2,1,1,1],7) => 11
([3,3,3,2],7) => 11
([3,3,1,1,1,1,1],7) => 11
([3,2,2,2,1,1],7) => 11
([3,2,1,1,1,1,1,1],7) => 11
([],8) => 0
([1],8) => 1
([2],8) => 2
([1,1],8) => 2
([3],8) => 3
([2,1],8) => 3
([1,1,1],8) => 3
([4],8) => 4
([3,1],8) => 4
([2,2],8) => 4
([2,1,1],8) => 4
([1,1,1,1],8) => 4
([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
([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
([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
([6,2],8) => 8
([5,3],8) => 8
([5,2,1],8) => 8
([4,4],8) => 8
([4,3,1],8) => 8
([4,2,2],8) => 8
([4,2,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
([2,2,2,2],8) => 8
([2,2,2,1,1],8) => 8
([2,2,1,1,1,1],8) => 8
([8,1],8) => 9
([7,1,1],8) => 9
([6,3],8) => 9
([6,1,1,1],8) => 9
([5,4],8) => 9
([5,3,1],8) => 9
([5,2,2],8) => 9
([5,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
([4,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
([3,1,1,1,1,1,1],8) => 9
([2,2,2,2,1],8) => 9
([2,2,2,1,1,1],8) => 9
([2,1,1,1,1,1,1,1],8) => 9
([8,1,1],8) => 10
([7,2,1],8) => 10
([7,1,1,1],8) => 10
([6,4],8) => 10
([6,2,1,1],8) => 10
([6,1,1,1,1],8) => 10
([5,5],8) => 10
([5,4,1],8) => 10
([5,3,2],8) => 10
([5,2,1,1,1],8) => 10
([5,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
([4,2,2,2],8) => 10
([4,2,1,1,1,1],8) => 10
([4,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
([3,2,2,2,1],8) => 10
([3,2,1,1,1,1,1],8) => 10
([3,1,1,1,1,1,1,1],8) => 10
([2,2,2,2,2],8) => 10
([2,2,2,2,1,1],8) => 10
([9,2],8) => 11
([8,1,1,1],8) => 11
([7,3,1],8) => 11
([7,2,1,1],8) => 11
([7,1,1,1,1],8) => 11
([6,5],8) => 11
([6,3,1,1],8) => 11
([6,2,2,1],8) => 11
([6,2,1,1,1],8) => 11
([6,1,1,1,1,1],8) => 11
([5,5,1],8) => 11
([5,4,2],8) => 11
([5,3,3],8) => 11
([5,3,1,1,1],8) => 11
([5,2,2,1,1],8) => 11
([5,2,1,1,1,1],8) => 11
([5,1,1,1,1,1,1],8) => 11
([4,4,3],8) => 11
([4,4,2,1],8) => 11
([4,3,3,1],8) => 11
([4,3,2,2],8) => 11
([4,3,1,1,1,1],8) => 11
([4,2,2,1,1,1],8) => 11
([4,2,1,1,1,1,1],8) => 11
([4,1,1,1,1,1,1,1],8) => 11
([3,3,3,2],8) => 11
([3,3,3,1,1],8) => 11
([3,3,2,2,1],8) => 11
([3,2,2,2,2],8) => 11
([3,2,2,1,1,1,1],8) => 11
([2,2,2,2,2,1],8) => 11
([2,2,1,1,1,1,1,1,1],8) => 11
([],9) => 0
([1],9) => 1
([2],9) => 2
([1,1],9) => 2
([3],9) => 3
([2,1],9) => 3
([1,1,1],9) => 3
([4],9) => 4
([3,1],9) => 4
([2,2],9) => 4
([2,1,1],9) => 4
([1,1,1,1],9) => 4
([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
([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
([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
([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
([7,2],9) => 9
([6,3],9) => 9
([6,2,1],9) => 9
([5,4],9) => 9
([5,3,1],9) => 9
([5,2,2],9) => 9
([5,2,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
([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
([2,2,2,2,1],9) => 9
([2,2,2,1,1,1],9) => 9
([2,2,1,1,1,1,1],9) => 9
([9,1],9) => 10
([8,1,1],9) => 10
([7,3],9) => 10
([7,1,1,1],9) => 10
([6,4],9) => 10
([6,3,1],9) => 10
([6,2,2],9) => 10
([6,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
([5,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
([4,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
([3,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
([2,1,1,1,1,1,1,1,1],9) => 10
([9,1,1],9) => 11
([8,2,1],9) => 11
([8,1,1,1],9) => 11
([7,4],9) => 11
([7,2,1,1],9) => 11
([7,1,1,1,1],9) => 11
([6,5],9) => 11
([6,4,1],9) => 11
([6,3,2],9) => 11
([6,2,1,1,1],9) => 11
([6,1,1,1,1,1],9) => 11
([5,5,1],9) => 11
([5,4,2],9) => 11
([5,4,1,1],9) => 11
([5,3,3],9) => 11
([5,3,2,1],9) => 11
([5,2,2,2],9) => 11
([5,2,1,1,1,1],9) => 11
([5,1,1,1,1,1,1],9) => 11
([4,4,3],9) => 11
([4,4,2,1],9) => 11
([4,4,1,1,1],9) => 11
([4,3,3,1],9) => 11
([4,3,2,2],9) => 11
([4,3,2,1,1],9) => 11
([4,2,2,2,1],9) => 11
([4,2,1,1,1,1,1],9) => 11
([4,1,1,1,1,1,1,1],9) => 11
([3,3,3,2],9) => 11
([3,3,3,1,1],9) => 11
([3,3,2,2,1],9) => 11
([3,3,2,1,1,1],9) => 11
([3,2,2,2,2],9) => 11
([3,2,2,2,1,1],9) => 11
([3,2,1,1,1,1,1,1],9) => 11
([3,1,1,1,1,1,1,1,1],9) => 11
([2,2,2,2,2,1],9) => 11
([2,2,2,2,1,1,1],9) => 11
([],10) => 0
([1],10) => 1
([2],10) => 2
([1,1],10) => 2
([3],10) => 3
([2,1],10) => 3
([1,1,1],10) => 3
([4],10) => 4
([3,1],10) => 4
([2,2],10) => 4
([2,1,1],10) => 4
([1,1,1,1],10) => 4
([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
([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
([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
([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
([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
([8,2],10) => 10
([7,3],10) => 10
([7,2,1],10) => 10
([6,4],10) => 10
([6,3,1],10) => 10
([6,2,2],10) => 10
([6,2,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
([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
([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
([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
([10,1],10) => 11
([9,1,1],10) => 11
([8,3],10) => 11
([8,1,1,1],10) => 11
([7,4],10) => 11
([7,3,1],10) => 11
([7,2,2],10) => 11
([7,1,1,1,1],10) => 11
([6,5],10) => 11
([6,4,1],10) => 11
([6,3,2],10) => 11
([6,3,1,1],10) => 11
([6,2,2,1],10) => 11
([6,1,1,1,1,1],10) => 11
([5,5,1],10) => 11
([5,4,2],10) => 11
([5,4,1,1],10) => 11
([5,3,3],10) => 11
([5,3,2,1],10) => 11
([5,3,1,1,1],10) => 11
([5,2,2,2],10) => 11
([5,2,2,1,1],10) => 11
([5,1,1,1,1,1,1],10) => 11
([4,4,3],10) => 11
([4,4,2,1],10) => 11
([4,4,1,1,1],10) => 11
([4,3,3,1],10) => 11
([4,3,2,2],10) => 11
([4,3,2,1,1],10) => 11
([4,3,1,1,1,1],10) => 11
([4,2,2,2,1],10) => 11
([4,2,2,1,1,1],10) => 11
([4,1,1,1,1,1,1,1],10) => 11
([3,3,3,2],10) => 11
([3,3,3,1,1],10) => 11
([3,3,2,2,1],10) => 11
([3,3,2,1,1,1],10) => 11
([3,3,1,1,1,1,1],10) => 11
([3,2,2,2,2],10) => 11
([3,2,2,2,1,1],10) => 11
([3,2,2,1,1,1,1],10) => 11
([3,1,1,1,1,1,1,1,1],10) => 11
([2,2,2,2,2,1],10) => 11
([2,2,2,2,1,1,1],10) => 11
([2,2,2,1,1,1,1,1],10) => 11
([2,1,1,1,1,1,1,1,1,1],10) => 11
([],11) => 0
([1],11) => 1
([2],11) => 2
([1,1],11) => 2
([3],11) => 3
([2,1],11) => 3
([1,1,1],11) => 3
([4],11) => 4
([3,1],11) => 4
([2,2],11) => 4
([2,1,1],11) => 4
([1,1,1,1],11) => 4
([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],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],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],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],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],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
([9,2],11) => 11
([8,3],11) => 11
([8,2,1],11) => 11
([7,4],11) => 11
([7,3,1],11) => 11
([7,2,2],11) => 11
([7,2,1,1],11) => 11
([6,5],11) => 11
([6,4,1],11) => 11
([6,3,2],11) => 11
([6,3,1,1],11) => 11
([6,2,2,1],11) => 11
([6,2,1,1,1],11) => 11
([5,5,1],11) => 11
([5,4,2],11) => 11
([5,4,1,1],11) => 11
([5,3,3],11) => 11
([5,3,2,1],11) => 11
([5,3,1,1,1],11) => 11
([5,2,2,2],11) => 11
([5,2,2,1,1],11) => 11
([5,2,1,1,1,1],11) => 11
([4,4,3],11) => 11
([4,4,2,1],11) => 11
([4,4,1,1,1],11) => 11
([4,3,3,1],11) => 11
([4,3,2,2],11) => 11
([4,3,2,1,1],11) => 11
([4,3,1,1,1,1],11) => 11
([4,2,2,2,1],11) => 11
([4,2,2,1,1,1],11) => 11
([4,2,1,1,1,1,1],11) => 11
([3,3,3,2],11) => 11
([3,3,3,1,1],11) => 11
([3,3,2,2,1],11) => 11
([3,3,2,1,1,1],11) => 11
([3,3,1,1,1,1,1],11) => 11
([3,2,2,2,2],11) => 11
([3,2,2,2,1,1],11) => 11
([3,2,2,1,1,1,1],11) => 11
([3,2,1,1,1,1,1,1],11) => 11
([2,2,2,2,2,1],11) => 11
([2,2,2,2,1,1,1],11) => 11
([2,2,2,1,1,1,1,1],11) => 11
([2,2,1,1,1,1,1,1,1],11) => 11
-----------------------------------------------------------------------------
Created: May 13, 2014 at 18:28 by Patrick Bjerke
-----------------------------------------------------------------------------
Last Updated: Dec 29, 2016 at 09:06 by Christian Stump