#include<stdio.h>

int main(void){
  int N;
  int c0,c1,c2,c3;
  char s[n];
  
  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;
                               }