3 ms·

Very heavy in lambda calculus.