#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 tang = 1; tang < 26; tang++) { for (int wei = 0; wei < 25 ; wei++) { if(cnt[wei] < cnt[wei + 1]) { swap(cnt[wei], cnt[wei + 1]); swap(ch[wei], ch[wei + 1]); } } } for (int i = 0; i < 26; i++) { cout << i + 1 <<" " <<ch[i] <<": " << cnt[i] << endl; } return 0; }