<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def encoded_length(self, num_bytes=16):
 """ Returns the string length of the shortened UUID. """

        factor = math.log(256) / math.log(self._alpha_len)
        return int(math.ceil(factor * num_bytes))