That Stack Exchange thread shows you can exceed Graham's number with the 49 bit lambda term (λ 1 1) (λ 1 (1 (λ λ 1 2 (λ λ 2 (2 1))))), or graphically
┬─┬ ┬─┬──────────
└─┤ │ │ ──┬──────
│ │ │ ┬─┼──────
│ │ │ └─┤ ┬─┬──
│ │ │ │ ┼─┼─┬
│ │ │ │ │ ├─┘
│ │ │ │ ├─┘
│ │ │ ├─┘
│ │ ├───┘
│ ├─┘
└─┘
Related: https://oeis.org/A333479