CIN 3 at MIA 1, 2022-08-01

Cincinnati Reds at Miami Marlins, 2022-08-01, final 3-1: the score, both clubs' lines and each player's line where the data keeps them.