TeX source:

2^{80}