#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)










int main(void){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
	ll i,j;



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


	vector<string> s(3);
	cin >> s[0] >> s[1] >> s[2];


	sort(s.begin(),s.end());

	ll c=0;
do{


	ll d=0;
	REP(i,8){
		if(s[0]==n[i]){
			d++;
			break;
		}
	}

	REP(i,5){
		if(s[1]==w[i]){
			d++;
			break;
		}
	}

	REP(i,7){
		if(s[2]==h[i]){
			d++;
			break;
		}
	}

	if(d==3) c++;



}while(next_permutation(s.begin(),s.end()));



	if(c==1) cout << "Yes" << endl;
	else cout << "No" << endl;






	return 0;

}