#include <bits/stdc++.h>
int main() {
  int t;
  scanf("%d", &t);
  int rafi0 = 0, rafi1 = 0, rafi2 = 0, rafi3 = 0;
  while (t--) {
    char ridi[10000];
    scanf("%s", ridi);
    if (ridi[0] == 65)
      rafi0++;
    else if (ridi[0] == 87)
      rafi1++;
    else if (ridi[0] == 84)
      rafi2++;
    else
      rafi3++;
  }
  printf("AC × %d\n", rafi0);
  printf("WA × %d\n", rafi1);
  printf("TLE × %d\n", rafi2);
  printf("RE × %d\n", rafi3);
  return 0;
}
