log10 (2^2^80)