. . . "Lump sum and other payments associated with earned leave time, termination benefits or other earned benefits." .