A question about lap times. Let's say for a six laps race.

1. The first lap is with standing start and flying finish. (That I understand.)
2. The second is with flying start and braking for a pit stop. (Where is the time registered? At the lengthen starting line before entering pit lane?)
3. The third is from the starting line into pit lane and box with flying finish. (Is it including the time for change of rear wheel, filling gas and splash 'n' dash?)
4. The fourth is with flying start and braking for pit stop. (Same as post 2?)
5. The fifth is from the starting line into pit lane and box with flying finish. (Same as post 3?)
6. The last is with flying start and flying finish. (That I understand.)

In that case a lap record is more likely to be set on lap 6, 2 or 4 and maybe 1. At lap 3 and 5 the pit stop for about 40 secs is included?
I presume that the pit stop counts in the lap time. Right?

My main interest is on what of the 6 laps these lap records were set, please?

John McGuinness  2007  Senior       0:17:21.99    1000 Honda   130.354 on lap 2
John McGuinness  2009  Senior       0:17:12.30    1000 Honda   131.578 on lap?
John McGuinness  2013  Superbike  0:17:11.572  1000 Honda   131.671 on lap?
Michael Dunlop     2014  Superbike  0:17:11.107  1000 BMW     131.730 on lap?
Michael Dunlop     2014  Superbike  0:17:09.856  1000 BMW     131.890 on lap?
Bruce Anstey        2014  Superbike  0:17:06.682  1000 Honda   132.298 on lap?

I don't have the Lap By Lap PDF:s saved. Possible to find at Internet? Or maybe somebody knows?