Live coverage of the first Formula 1 practice session for the 2025 United States Grand Prix in Austin.