#include <bits/stdc++.h>
int main() {
  char ch[4][4] = {"AC", "WA", "TLE", "RE"};
  int count[4] = {0, 0, 0, 0};
  int n, i, j;
  scanf("%d", &n);
  char s[n][4];
  for (i = 0; i < n; i++) {
    scanf("%s", &s[i]);
    for (j = 0; j < n; j++) {
      if ((strcmp(s[i], ch[j])) == 0) {
        count[j]++;
      }
    }
  }
  for (i = 0; i < 4; i++) {
    printf("%s x %d\n", ch[i], count[i]);
  }
  return 0;
}
