TY - RPRT TI - The lonely runner conjecture holds for nine runners AU - Matthieu Rosenfeld PY - 2026 UR - https://arxiv.org/abs/2512.01912 ID - 2512.01912 ER -