input: def to_lowercase(input_string: str) -> str:
      """Converts the input string to its lowercase version.
      
      >>> to_lowercase("HelloWORLD")
      'helloworld'
      >>> to_lowercase("PyTHoN")
      'python'
      """
output:     return input_string.lower()