input: 
  def parse_url(url: str) -> tuple:
      """Parse the given URL and return a tuple containing the protocol, domain name, and path.
      >>> parse_url('https://www.example.com/path/to/file')
      ('https', 'www.example.com', '/path/to/file')
      """
  
output:     protocol, rest = url.split('://', 1)
      domain, *path = rest.split('/', 1)
      path = '/' + path[0] if path else '/'
      return (protocol, domain, path)