#include<algorithm>
typedef struct node
{
int num;
int count;
bool operator <(const struct node &A)
{
return num<A.num;
}
}Node;
int main()
{
Node a[20],temp;
int i,len=0;
for(i=0;i<20;i++)
{
scanf("%d ",&temp.num);
if(len==0)
{
a[len].num=temp.num;
a[len].count=1;
len++;
}else {
int j;
for(j=0;j<len;j++)
{
if(temp.num==a[j].num)
{
a[j].count++;
break;
}
}
if(j>=len)
{
a[len].num=temp.num;
a[len].count=1;
len++;
}
}
}
sort(a,a+len);
for(i=0;i<len;i++)
{
printf("%d: %d\n",a[i].num,a[i].count);
}
return 0;
}