3 ms·

Sorry, nope. I didn’t bother proving correctness for such a small toy example. (Besides, I wouldn’t know how.)