Update FindNextHigherNumberWithSameDigits.py