Triangle ABC and triangle DEF are graphed on the coordinate plane below. Which sequence of transformations maps triangle ABC in to triangle DEF?