3 ms·

Bloom filters were in fact used.