Actually it is well under 60 bits! We have A333479(53) exceeding an exponential tower of 256 2s [1]. We also have A333479(114) exceeding Graham's number, whic

Actually it is well under 60 bits! We have A333479(53) exceeding an exponential tower of 256 2s [1]. We also have A333479(114) exceeding Graham's number, which would require a 10-state TM to remain competitive. [1] https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form https://mathoverflow.net/questions/353514/whats-the-smallest...