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

int main(void) {
	char eto_moji[12][10] ={
	"ne", "ushi", "tora", "u", 
	"tatsu", "mi", "uma", "hitsuji", 
	"saru", "tori", "inu", "i"};
	int num;
	int m, n;
	int eto[12] = {0};
	char str[10];
	scanf("%d", &num);
	for(m = 0;m < num;m++){
		scanf("%s", str);
		for(n = 0;n < 12;n++){
			if(strcmp(str, eto_moji[n]) == 0){
				eto[n]++;
				break;
			}
		}
	}
	for(n = 0;n < 12;n++){
		if(eto[n] * 2 > num + 1){
			printf("NO\n");
			return 0;
		}
	}
	printf("YES\n");
	
    return 0;
}