Formula 1 Lap Times from the 2024 São Paulo Grand Prix on the Autódromo José Carlos Pace, Brazil: 1st Max Verstappen, 2nd Esteban Ocon, 3rd Pierre Gasly