code: def distinct_seeds(k):
      
      seeds = []
      for _ in range(k):
          while True:
              s = random.randint(2**32 - 1)
              if s not in seeds:
                  break
          seeds.append(s)
      return seeds
docs: returns k distinct seeds for random number generation