4 ms·

fair point, forced to break off ties