I had the feeling Max was managing the gap in the first stint though, so who knows how things would´ve been if Lewis was ahead?
I followed the gaps closely. Initially Max was much faster (3-4 tenths). It then stabilised and then Lewis started chipping away.
On the lap Lewis pitted, the gap was about 1,8 seconds I think. Max then had a green S1 when Lewis pitted (full engine mode on to protect the undercut), but his S2 was very slow, slower than his previous lap (38.1 or so instead of 37.3 earlier in that stint). That indicated to me that the tires were dropping of and that Verstappen couldn't really go quicker at that moment in the first stint.