#ifndef ONLINE_JUDGE #define _GLIBCXX_DEBUG #endif #include #include #include using namespace std; using namespace atcoder; using ll = long long; using mint = modint998244353; //using mint = modint1000000007; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repu(i, s, t) for (int i = (int)(s); i < (int)(t); i++) #define repd(i, s, t) for (int i = (int)(s)-1; i >= (int)(t); i--) #define all(v) v.begin(), v.end() void _u() { cerr << endl; } template void _u(H&& h, T&&... t) { cerr << h << ", "; _u(move(t)...); } #define U(...) { cerr << #__VA_ARGS__ << ": "; _u(__VA_ARGS__); } template bool chmax(T &a, const T b) { if(a >= b) return false; a = b; return true; } template bool chmin(T &a, const T b) { if(a <= b) return false; a = b; return true; } template istream& operator>>(istream &in, vector &a) { for(T &x: a) in >> x; return in; } template ostream& operator<<(ostream &out, const vector &a) { for(const T &x: a) out << x << ' '; return out; } const int di[] = {1, 0, -1, 0, 1, 1, -1, -1, 0}; const int dj[] = {0, 1, 0, -1, -1, 1, 1, -1, 0}; int main() { set one = {"gray","brown","green","cyan","blue","yellow","orange","red"}; set two = {"gray","green","blue","yellow","red"}; set three = {"gray","green","cyan","blue","violet","orange","red"}; vector s(3); cin >> s; sort(all(s)); vector ans; do { bool ok = true; if(!one.count(s[0])) ok = false; if(!two.count(s[1])) ok = false; if(!three.count(s[2])) ok = false; if(ok) { if(!ans.empty()) { cout << "No" << endl; return 0; } ans = s; } } while(next_permutation(all(s))); if(ans.empty()) cout << "No" << endl; else cout << "Yes" << endl; return 0; }