Variable VERIFIED_MAXIMUMConst

VERIFIED_MAXIMUM: bigint = 295147905179352825856n

The current value up to which has been proven numerically, for the default parameterisation.