#include <bits/stdc++.h>
using namespace std;
int flag[2000000],num[2000000];
int main(){
int k,count=0;
while(~scanf("%d",&k)){
if(flag[k]==0){
flag[k]=1;
num[count]=k;
count++;
}
if(getchar()=='\n'){
break;
}
}
sort(num,num+count);
for(int i=10;i<count;i++){
cout<<num[i]<<" ";
}
return 0;
}