#include<bits/stdc++.h>
using namespace std;
int main(){
    set<int> s;
    int input;
    while(cin>>input){
        s.insert(input);
    }
    for(auto it=s.begin();it!=s.end();++it){
        cout<<*it<<" ";
    }
    cout<<"\n"<<s.size();
    return 0;
}