#include <iostream>
#include <string>
#include <vector>
#include <map>
#include <algorithm>
using namespace std;
int main(int argc, char const *argv[]){
int n,t;
cin>>n;
int hash[1005] = {0};
for(int i = 0; i<n ; i++){
cin>>t;
hash[t-1]++;
}
sort(hash,hash+1005);
for(int i = 0 ;i < 1005 ; i++){
if(hash[i]!=0){
cout<<i<<"\t"<<hash[i]<<endl;
}
}
int answer = hash[1004] + hash[1003] + 2;
cout<<answer<<endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8bWFwPgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oaW50IGFyZ2MsIGNoYXIgY29uc3QgKmFyZ3ZbXSl7CglpbnQgbix0OwoJY2luPj5uOwoJaW50IGhhc2hbMTAwNV0gPSB7MH07Cglmb3IoaW50IGkgPSAwOyBpPG4gOyBpKyspewoJCWNpbj4+dDsKCQloYXNoW3QtMV0rKzsKCX0KCXNvcnQoaGFzaCxoYXNoKzEwMDUpOwoJZm9yKGludCBpID0gMCA7aSA8IDEwMDUgOyBpKyspewoJCWlmKGhhc2hbaV0hPTApewoJCQljb3V0PDxpPDwiXHQiPDxoYXNoW2ldPDxlbmRsOwoJCX0KCX0KCWludCBhbnN3ZXIgPSBoYXNoWzEwMDRdICsgaGFzaFsxMDAzXSArIDI7Cgljb3V0PDxhbnN3ZXI8PGVuZGw7CgoJcmV0dXJuIDA7Cn0=