El récord olímpico que impuso de 8.413 puntos no sería superado en casi dos décadas.