Source: https://www.fia.com/sites/default/files/decision-document/2020 Portuguese Grand Prix - P2 deleted lap times turn 1.pdf