4 ms·

Thanks. I can script this as well - there's nothing fundamentally tricky here, but generating nice output is usually fiddly.