where  is chosen, among all possible values satisfying the constraints, as small as possible such that  and such that  is distinct from all previously chosen denominators.
Among all feasible values that meet the constraints, select the smallest one such that  and ensure that is distinct from any previously chosen denominators.