Saving the Universe solutions

Saving the Universe was solved using Lua by 6 contestants. Solution sizes: average 1246 bytes (shortest: 614; longest: 2129).