Comment by tromp

Wolfram's exploration of longest lifetimes of lambda terms of a given size is carried out more systematically in my functional busy beaver https://oeis.org/A333479