#include<bits/stdc++.h> using namespace std; int cnt[26]; int main(){ string n; getline(cin,n); int len=n.size(); for(int i=0;i<len;i++){ if(n[i]>='a'&&n[i]<='z'){ n[i]=n[i]-32; int x=n[i]-'A'; cnt[x]++; } else if(n[i]>='A'&&n[i]<='Z'){ int x=n[i]-'A'; cnt[x]++; } } char ch[26],c='A'; for(int i=0;i<26;i++){ ch[i]=c; c++; } for(int i=1;i<26;i++){ for (int j=0;j<25;j++){ if(cnt[j]<cnt[j+1]){ swap(cnt[j],cnt[j+1]); swap(ch[j],ch[j+1]); } } } for(int i=0;i<26;i++){ cout<<i+1<<" "<<ch[i]<<": "<<cnt[i]<<endl; } return 0; }