#include <stdio.h>
  
int main(void)
{
    char ch[6]={0};
    int i;
    
    int cnt=0;
    int n;
    
    for(i=0; i<10; i++)
    {
scanf(" %d", &n);
ch[n-1]++;
}

    for(i=0; i<6; i++)
    {
printf("%d : %d\n", i+1, ch[i]);

}
    return 0;
}