WSH 6 at MIA 7, 2017-08-01

Washington Nationals at Miami Marlins, 2017-08-01, final 6-7: the score, both clubs' lines and each player's line where the data keeps them.