#include <iostream>
#include <list>
using namespace std;
int main() {
list<int> lst;
int x;
while(cin >> x){
if(x == -1) break;
lst.push_back(x);
}
lst.sort();
lst.unique();
for(auto x : lst) cout << x << " ";
cout << "\n";
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8bGlzdD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkgewoJbGlzdDxpbnQ+IGxzdDsKCWludCB4OwoJd2hpbGUoY2luID4+IHgpewoJCWlmKHggPT0gLTEpIGJyZWFrOwoJCWxzdC5wdXNoX2JhY2soeCk7Cgl9CgkKCWxzdC5zb3J0KCk7Cglsc3QudW5pcXVlKCk7CgkKCWZvcihhdXRvIHggOiBsc3QpIGNvdXQgPDwgeCA8PCAiICI7Cgljb3V0IDw8ICJcbiI7Cn0=