Proper Shuffle solutions

Proper Shuffle was solved using Python by 45 contestants. Solution sizes: average 1190 bytes (shortest: 212; longest: 8875).

The list below is sorted by solution size. You can also sort by ranking.