Summary of Andy Weir's Project Hail Mary by I. R. B. Media