#include<bits/stdc++.h>
using namespace std;
vector<int> a;
int main()
{
int x;
for(int i=0;i<=7;i++){
cin>>x;
a.push_back(x);
}
sort(a.begin(),a.end());
int m=unique(a.begin(),a.end())-a.begin();
cout<<m<<endl;
for(int i=0;i<m;i++)
cout<<a[i]<<" ";
}