#include using namespace std; typedef unsigned long long ull; typedef long long ll; string s[]={"ne", "ushi", "tora", "u", "tatsu", "mi", "uma", "hitsuji", "saru", "tori", "inu", "i"}; int main(){ int n; cin >> n; vector cnt(12, 0); for(int i=0; i> t; for(int j=0; j<12; j++){ if(t==s[j]) cnt[j]++; } } int m=0; for(int i=0; i<12; i++) m=max(m, cnt[i]); if(m<=(n+1)/2) cout << "YES" << endl; else cout << "NO" << endl; return 0; }