#include<stdio.h>
 
int main(void){
  int i,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;
                               }