3 ms·Pulling a new proof from Knuth's fixed-point printer, with code in Ivy2 points by fanf2 10mo ago