When Alonso made his stop on lap 54, he had made up more than five seconds on Verstappen in that one lap, and was eight seconds behind. By the end of lap 55, Hamilton had gained 14.8secs on Verstappen, Ocon 12.2 and Gasly 5.2. That makes it look as if it might have been touch and go for Alonso had he fitted inters on lap 54. Over the period from the end of lap 53 to the end of lap 56, Hamilton gained a net 20 seconds on Verstappen, Ocon a net 17 and Gasly a net 6.3. And the times for Verstappen, Ocon, Hamilton and Gasly over the rest of lap 56 are all pretty much the same.
Follow MotorMouth on social media: