#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]<<" ";}