(3) recomputed: finder's 82 certificates (m=3..15): 3507 ray pairs checked exactly, parallel pairs: 0; all rays exact unit vectors: True
(4) recomputed: run-2 certificates: 62 stars, all certified: True; m range 3..17; zero-sum weight vectors among them: 9
