How Big Are the Pockets? solutions

How Big Are the Pockets? was solved using C by 3 contestants. Solution sizes: average 2563 bytes (shortest: 1847; longest: 3300).