6 ms·

gwern saves the day once again.