Saving the Universe solutions

Saving the Universe was solved using SQL by 1 contestant. Solution sizes: average 2790 bytes (shortest: 2788; longest: 2793).