#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
#define all(x) (x).begin(), (x).end()
using ll = long long;
const ll MOD = 998244353;
#include<atcoder/all>
using namespace atcoder;
using mint = modint998244353;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  vector<string> One={"gray","brown","green","cyan","blue","yellow","orange","red"},Two={"gray","green","blue","yellow","red"},Three={"gray","green","cyan","blue","violet","orange","red"};
  vector<string> S(3);
  rep(i,3) cin>>S[i];
  sort(all(S));
  ll cnt=0;
  rep(i,8)rep(j,5)rep(k,7){
    vector<string> T(3);
    T[0]=One[i],T[1]=Two[j],T[2]=Three[k];
    sort(all(T));
    if(S==T) cnt++;
  }
  cout<<(cnt==1?"Yes":"No")<<'\n';
}