Timing starts at 10.167 and ends at 7:52.267 to get a final time of 7:42.100.

Not a bad run, but not a great run either.