Saving the Universe solutions

Saving the Universe was solved using Objective-C by 3 contestants. Solution sizes: average 3716 bytes (shortest: 2986; longest: 4299).