int main()
{
int i,n;
char code;
int *weight;
scanf("%d",&n);
code=(char)malloc((n+1)*sizeof(char));
weight=(int*)malloc(n*sizeof(int));
for(i=0;i<n;i++)
scanf("%c",code+i);
code[n]='\0';
for(i=0;i<n;i++)
scanf("%d",&weight[i]);
for(i=0;i<n;i++)
printf("%c:%d\n",code[i],weight[i]);
return 0;
}