Men's running world-record curves shifted faster over 120 years without changing their fundamental shape. — Synthesis