#include using namespace std; //#pragma GCC optimize("Ofast") #define rep(i,n) for(ll i=0;i=0;i--) #define perl(i,r,l) for(ll i=r-1;i>=l;i--) #define fi first #define se second #define pb push_back #define ins insert #define pqueue(x) priority_queue,greater> #define all(x) (x).begin(),(x).end() #define CST(x) cout<> #define rev(x) reverse(x); using ll=long long; using vl=vector; using vvl=vector>; using pl=pair; using vpl=vector; using vvpl=vector; const ll MOD=1000000007; const ll MOD9=998244353; const int inf=1e9+10; const ll INF=4e18; //const ll dy[9]={1,0,-1,0,1,1,-1,-1,0}; //const ll dx[9]={0,1,0,-1,1,-1,1,-1,0}; template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } int main(){ vector a={"gray","brown","green","cyan","blue","yellow","orange","red"},b={"gray","green","blue","yellow","red"},c={"gray","green","cyan","blue","violet","orange","red"}; vector g(3); rep(i,3)cin >> g[i]; ll ans=0; sort(all(g)); do{ bool ok=true; { bool x=false; for(auto p:a)if(p==g[0])x=true; ok&=x; } { bool x=false; for(auto p:b)if(p==g[1])x=true; ok&=x; } { bool x=false; for(auto p:c)if(p==g[2])x=true; ok&=x; } ans+=ok; }while(next_permutation(all(g))); cout << (ans==1? "Yes" :"No") << endl; }