#include <stdio.h>
int main(int a,char *b[]){
 char c[256];
 int d;
 for(d=0;d<256;d++)c[d]=0;
 do{
  d=getc(stdin);
  if(d<0)break;
  c[d]++;}
 while(1);
 for(d=0;d<256;d++)
  printf("%02x %08x\n",d,c[d]);}