3 ms·

I find it fun to statically prove correctness of difficult problems. To each their own, though, of course.