4 ms·

Datalog could handle it, though.