CIN 1 at SD 7, 2023-05-03

Cincinnati Reds at San Diego Padres, 2023-05-03, final 1-7: the score, both clubs' lines and each player's line where the data keeps them.