TY - RPRT TI - At most nine lines in Euclidean three-space have pairwise distance one AU - Roland Höfer PY - 2026 UR - https://arxiv.org/abs/2606.22605 ID - 2606.22605 ER -