number of integer partitions of 13