Saving the Universe solutions

Saving the Universe was solved using D by 4 contestants. Solution sizes: average 1888 bytes (shortest: 1780; longest: 2106).