#include <bits/stdc++.h>
int main() {
  int i;
  int ary[4] = {0, 0, 0, 0};
  int n;
  char str[10];
  char name[4][4] = {"AC", "WA", "TLE", "RE"};
  scanf("%d", &n);
  while (n > 0) {
    scanf("%s", str);
    if (strcmp(str, name[0]) == 0)
      ary[0]++;
    else if (strcmp(str, name[1]) == 0)
      ary[1]++;
    else if (strcmp(str, name[2]) == 0)
      ary[2]++;
    else if (strcmp(str, name[3]) == 0)
      ary[3]++;
    n--;
  }
  i = 0;
  while (i < 4) {
    printf("%s × %d\n", name[i], ary[i]);
    i++;
  }
  return 0;
}
