It looks like we have recovered (mostly) functional live timing, so here’s the latest lap count.
McLaren – 138 laps (Norris)
Ferrari – 127 laps (Leclerc)
Racing Bulls – 122 laps (Lawson 50, Lindblad 72)
Haas – 118 laps (Bearman)
Williams – 118 laps (Albon 62, Sainz 56)
Audi – 103 laps (Hulkenberg 47, Bortoleto 56)
Alpine – 97 laps (Gasly)
Cadillac – 96 laps (Perez 42, Bottas 54)
Aston Martin – 94 laps (Alonso)
Red Bull – 75 laps (Hadjar)
Mercedes – 53 laps (Antonelli 3, Russell 50)