2020 Spanish GP: Bustle jog (10 fastest)

Clearly some laps had been taken out, or the starting grid would produce BOT a vastly shorter speed distance, in every other case it’s mathematically impossible for VER to have a closer moderate lap time despite finishing an analogous quantity of laps in less time.

EDIT: correct remembered VER overtook BOT in turn one so even the starting grid can’t be it. Need to imply laps had been taken out.