HighLevelEncoder.isDigit(this.input.charAt(from)) &&
      HighLevelEncoder.isDigit(this.input.charAt(from + 1)) &&
      HighLevelEncoder.isDigit(this.input.charAt(from + 2)) &&