#include <bits/stdc++.h>
using namespace std;
// #include<atcoder/all>
// using mint = atcoder::modint998244353;
using ld = long double;
#define fi first
#define se second
#define all(x) x.begin(), x.end()
#define rep(i,n) for(int i=0;i<(int)(n);++i)
#define chmax(a,b) a=max(a,b)
#define chmin(a,b) a=min(a,b)

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    vector<string> S(3);
    rep(i,3)cin>>S[i];

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

    sort(all(S));
    int cnt=0;
    do{
        bool ok=1;
        rep(i,3){
            if(!count(all(A[i]),S[i])) ok=0;
        }
        cnt+=ok;
    }while(next_permutation(all(S)));
    cout<<(cnt==1?"Yes\n":"No\n");
}