SequenceState for Cycle Control

The four known cycles (besides 0 cycling to itself), for the default parameterisation.

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

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

Provides the appropriate lambda to use to check if iterations on an initial value have reached either the stopping time, or total stopping time.