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

int main() {
	char s[8], eto[12][8] = { "ne","ushi","tora","u","tatsu","mi","uma","hitsuji","saru","tori","inu","i" };
	int n, cnt[12] = {}, max = 0, i, j;

	scanf("%d", &n);
	for (i = 0; i < n; i++) {
		scanf("%s", s);
		for (j = 0; j < 12; j++) {
			if (strcmp(s, eto[j]) == 0) cnt[j]++;
			if (cnt[j] > max) max = cnt[j];
		}
	}

	if (max <= (n % 2 == 0 ? n / 2 : n / 2 + 1)) printf("YES\n");
	else printf("NO\n");

	return 0;
}