#include
    
     #include
     
      int main(){	int n,i,max;	int *a;	int b[10];	while(~scanf("%d",&n))	{		for(i=0;i<10;i++) b[i]=0;		a=(int *)malloc(n*sizeof(int));		for(i=0;i
      
       max) max=b[i];		printf("%d:",max);		for(i=0;i<10;i++) 			if(b[i]==max) printf(" %d",i);		printf("\n");		free(a);	}	return 0;}