#include <stdio.h>
int main()
{
  char buf[1024];
  int i,j, count[11] = {0};
  while(fgets(buf, sizeof(buf), stdin)){
    int n = atoi(buf);
    if(n == 0) break;
    if(n < 1 || n > 10) continue;
    count[n]++;
  }
  for(i=1; i<=10; i++){
    printf("%02d ", i);
    for(j=0; j<count[i]; j++) putchar('*');
    putchar('\n');
  }
  return 0;
}