Saving the Universe solutions

Saving the Universe was solved using Scheme by 16 contestants. Solution sizes: average 2189 bytes (shortest: 1175; longest: 4535).

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