SD 12 at CIN 5, 2023-07-01

San Diego Padres at Cincinnati Reds, 2023-07-01, final 12-5: the score, both clubs' lines and each player's line where the data keeps them.