June 23, 2025

Revised tie-breaking rules