How Big Are the Pockets? solutions

How Big Are the Pockets? was solved using Pascal by 4 contestants. Solution sizes: average 2922 bytes (shortest: 2417; longest: 3451).