Log2(Exp[(64/9 * Log[n])^(1/3) * (Log[Log[n]])^(2/3)]) where n=2^{4096}