3 ms·

The halting problem has been solved!