CIN 9 at PIT 1, 2017-08-01

Cincinnati Reds at Pittsburgh Pirates, 2017-08-01, final 9-1: the score, both clubs' lines and each player's line where the data keeps them.