#include<iostream>
#include<vector>
#include<algorithm>

using namespace std;

int main()
{
	vector<int> A;
	int num = 1;
	int k;
	
	while (num)
	{
		cin >> num;
		A.push_back(num);
	}
	sort(A.begin(), A.end());

	A.resize(unique(A.begin(), A.end()) - A.begin());
	k = A.size();

	for (int i = 0; i < k; i++)
		cout << A[i] << " ";

	return 0;
}