#include <cstdio>
#include <vector>
#include <algorithm>
 
void print_vector(const char* msg, const std::vector<int> & v) {
    printf("%s :", msg);
    for (auto x : v)
        printf(" %d", x);
    printf("\n");
}
 
int main() {
    int x;
    std::vector<int> v;
    while (scanf("%d", &x) == 1) v.push_back(x);
 
    print_vector("Before unique", v);
 
    // unique
    std::sort(v.begin(), v.end());
    auto it = std::unique(v.begin(), v.end());
    v.resize(it-v.begin());
 
    print_vector("After unique", v);
 
    return 0;
}
 

I2luY2x1ZGUgPGNzdGRpbz4KI2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPGFsZ29yaXRobT4KCnZvaWQgcHJpbnRfdmVjdG9yKGNvbnN0IGNoYXIqIG1zZywgY29uc3Qgc3RkOjp2ZWN0b3I8aW50PiAmIHYpIHsKICAgIHByaW50ZigiJXMgOiIsIG1zZyk7CiAgICBmb3IgKGF1dG8geCA6IHYpCiAgICAgICAgcHJpbnRmKCIgJWQiLCB4KTsKICAgIHByaW50ZigiXG4iKTsKfQoKaW50IG1haW4oKSB7CiAgICBpbnQgeDsKICAgIHN0ZDo6dmVjdG9yPGludD4gdjsKICAgIHdoaWxlIChzY2FuZigiJWQiLCAmeCkgPT0gMSkgdi5wdXNoX2JhY2soeCk7CgogICAgcHJpbnRfdmVjdG9yKCJCZWZvcmUgdW5pcXVlIiwgdik7CgogICAgLy8gdW5pcXVlCiAgICBzdGQ6OnNvcnQodi5iZWdpbigpLCB2LmVuZCgpKTsKICAgIGF1dG8gaXQgPSBzdGQ6OnVuaXF1ZSh2LmJlZ2luKCksIHYuZW5kKCkpOwogICAgdi5yZXNpemUoaXQtdi5iZWdpbigpKTsKCiAgICBwcmludF92ZWN0b3IoIkFmdGVyIHVuaXF1ZSIsIHYpOwoKICAgIHJldHVybiAwOwp9Cg==

NCAyIDEgMyAxIDIgNCA1Cg==

4 2 1 3 1 2 4 5