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)))))

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_conjectures/melo.lam https://github.com/tromp/AIT/blob/master/fast_growing_and_co...