#include <bits/stdc++.h>
using namespace std;
int main(void){
    vector<long long>v(10,0);
    for(int i=0;i<13;i++){
        int a;
        cin>>a;
        v[a]++;
    }
    long long tmp=0;
    for(long long i=1;i<10;i++){
        tmp+=powl(10,v[i]);
    }
    if(tmp==4014){
        cout<<1<<endl;
        for(int i=1;i<10;i++){
            if(v[i]==1){
                cout<<i<<endl;
            }
        }
    }else if(tmp==3204){
        cout<<2<<endl;
        int flag=0;
        for(int i=1;i<10;i++){
            if(v[i]==2){
                cout<<i<<(flag++?"\n":" ");
            }
        }
    }else{
        cout<<0<<endl<<endl;
    }
    return 0;
}