#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
  int count[] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};
  char *string[] = {"ne", "ushi", "tora", "u", "tatsu", "mi", "uma", "hitsuji", "saru", "tori", "inu", "i"};
  int i, j, n, max = 0;
  char data[10];

  scanf("%d", &n);
  
  for (i = 0; i < n; i++)
  {
    scanf("%s", data);
    for (j = 0; j < 12; j++)
      if (strcmp(string[j], data) == 0)
      {
        count[j]++;
      }
  }
  
  for (j = 0; j < 12; j++)
  {
    if (max < count[j])
      max = count[j];
  }
  
  if (max * 2 <= n + 1)
    printf("YES");
  else
    printf("NO");
  
  return EXIT_SUCCESS;
}