#include <bits/stdc++.h>
using namespace std;

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    vector<string> S1 = {"gray","brown","green","cyan","blue","yellow","orange","red"};
    vector<string> S2 = {"gray","green","blue","yellow","red"};
    vector<string> S3 = {"gray","green","cyan","blue","violet","orange","red"};

    map<vector<string>,int> S;
    for(int i=0; i<S1.size(); i++) for(int k=0; k<S2.size(); k++) for(int l=0; l<S3.size(); l++){
        vector<string> now = {S1.at(i),S2.at(k),S3.at(l)};
        sort(now.begin(),now.end());
        S[now]++;
    }

    vector<string> A(3);
    for(auto &a : A) cin >> a;
    sort(A.begin(),A.end());
    if(S[A] == 1) cout << "Yes\n";
    else cout << "No\n"; 
}