#include <stdio.h>
#include <stdlib.h>

int main(int argc, char ** argv){
  if (argc == 1) {
    fprintf(stderr, "Usage: Nodup numbers+\n");
    exit(1);
  }

  int array[1001] = { 0 };

  int x;
  int count = 0;
  for (int i=1; i < argc; i++) {
    x = atof(argv[i]);
    if (x > 1000 || x < 1) {
      fprintf(stderr, "Skipping bad arg: %s\n", argv[i]);
    } else {
      array[x]++;
      count++;
    }
  }
  
  if (count) {
    for (int i = 1; i <= 1000; i++){
      if (array[i] > 0) {
	printf("%d ", i);
      }
    }
    puts("");
  }
  return 0;
}