SD 10 at MIA 1, 2023-06-01

San Diego Padres at Miami Marlins, 2023-06-01, final 10-1: the score, both clubs' lines and each player's line where the data keeps them.