Live timing is a bit glitchy this afternoon. Lewis did 15 laps in that stint which is a little unusual, however he did seem to set the quickest time of the stint on the last lap a 1:15.9 I think it was.
Is it my imagination or is the option tyre just a faster wearing version of the prime? Few people seem to get quicker times with it and this is not the first track I have noticed this effect.