Saving the Universe solutions

Saving the Universe was solved using J by 3 contestants. Solution sizes: average 884 bytes (shortest: 466; longest: 1304).