code: def distinct(keys):
      
      known = set()
      outlist = []
      for key in keys:
          if key not in known:
              outlist.append(key)
          known.add(key)
      return outlist
docs: Return the distinct keys in order.