2^256 - 2048^12