브라질 그랑프리 2025 - 오토 레이싱, 포뮬러1