Saving the Universe solutions

Saving the Universe was solved using Clojure by 3 contestants. Solution sizes: average 1629 bytes (shortest: 1476; longest: 1826).