#include <bits/stdc++.h>
int main(void) {
  int i, N;
  int c0, c1, c2, c3;
  char s[N][5];
  for (i = 0; i < N; i++) scanf("%s", s[N]);
  for (i = 0; i < N; i++) {
    if (strcmp(s[N], "AC"))
      c0++;
    else if (strcmp(s[N], "WA"))
      c1++;
    else if (strcmp(s[N], "TLE"))
      c2++;
    else if (strcmp(s[N], "RE"))
      c3++;
  }
  printf("AC × %d\n", c0);
  printf("WA × %d\n", c1);
  printf("TLE × %d\n", c2);
  printf("RE × %d\n", c3);
  return 0;
}
