4 ms·

If it really matters to you that much then `<file grep thing` has the desired order and is less to type out.