2 ** 112