2 ms·

We were already claiming we could pick the top 84 out of ~3000. It's not that much harder to narrow it down to 46.