Saving the Universe solutions

Saving the Universe was solved using Erlang by 2 contestants. Solution sizes: average 1431 bytes (shortest: 874; longest: 1988).