lb(10^(64)/8)