#include<stdio.h>
int main()
{
    int c,i;
        int s[25];
    for(i=1;i<=9;i++)
    {
        s[i]=0;
    }
    while((c=getchar() )!='\n')
    {

    if(c>='0' && c<='9')
    {
        s[c-'0']++;
    }

    }

    for(i=1;i<=9;i++)
    {
        if(s[i]>0)
        printf("%d    %d\n",i,s[i]);
    }
}