[tromp]

A even smaller 49-bit program whose normal form size also exceeds Graham’s Number was found more recently:

    (λJ.J J) (λy.y (y (λg.λm.m g (λf.λx.f (f x)))))

[1] https://github.com/tromp/AIT/blob/master/fast_growing_and_co...