Modified Examples.MinCoinChange for better presentation.