putting a copy of the output here for convenience