please separate the 8 world record holders by forcing millisecond times
(Mod note: retimed at 720p quality with SPRT. GG!)
