log10(log10(n)), n=10^1000