Coin Jam solutions

Coin Jam was solved using Mathematica by 4 contestants. Solution sizes: average 6835 bytes (shortest: 593; longest: 32477).