Saving the Universe solutions

Saving the Universe was solved using WRAPL by 1 contestant. Solution sizes: average 1121 bytes (shortest: 1087; longest: 1156).