 Complete the following phrase:  Official record lap times are only set during the race. The fastest ever lap on the track is 1:11.212 set by Sebastian Vettel in a Ferrari SF71H during qualifying at the 