integer partitions of 12