Collecting Cards solutions

Collecting Cards was solved using Mathematica by 2 contestants. Solution sizes: average 6938 bytes (shortest: 5207; longest: 8670).