A candy store makes a 13-pound mixture of gummy candy, jelly beans, and hard candy. The cost of gummy candy is $1.00 per pound, jelly beans cost $2.00 per pound, and hard candy costs $2.00 per pound. The mixture calls for three times as many
gummy candy pieces as jelly beans. The total cost of the mixture is $20.00. How much of each ingredient did the store use?