MIA 22 at TEX 10, 2017-07-26

Miami Marlins at Texas Rangers, 2017-07-26, final 22-10: the score, both clubs' lines and each player's line where the data keeps them.