// 读数据
var getInput = function () {
  let inputArr = [],
      groupCount = readline()
  
  if (groupCount) {
    for (let i = 0; i < parseInt(groupCount); i++) {
      inputArr.push(readline())
    }
  }
  
  return inputArr
}

// 排序
var sortAsc = function (arr) {
  for (let i = 0; i < arr.length; i++) {
    for (let j = i + 1; j < arr.length; j++) {
      if (parseInt(arr[i]) > parseInt(arr[j])) {
        let temp = arr[i]
        arr[i] = arr[j]
        arr[j] = temp
      }
    }
  }
  
  return arr
}

// 去重
var unique = function (arr) {
  let newArr = [], count = 0
  
  for (let i = 0; i < arr.length; i++) {
    if (newArr.indexOf(arr[i]) === -1) {
      newArr[count++] = arr[i]
    }
  }
  
  return newArr
}

// 结果
var result = function () {
  let inputArr
  while ((inputArr = getInput()).length > 0) {
    inputArr = unique(inputArr)
    inputArr = sortAsc(inputArr)
    console.log(inputArr.join('\n'))
  }
}

result()