Saving the Universe solutions

Saving the Universe was solved using Standard ML by 1 contestant.