4 ms·

This update is actually a big deal. The algorithm runs in subexponential time, but not quasipolynomial time after all.