c1=["gray","brown","green","cyan","blue","yellow","orange","red"]
c2=["gray","green","blue","yellow","red"]
c3=["gray","green","cyan","blue","violet","orange","red"]
s1,s2,s3=input().split()
ok=set()
if (s1 in c1) and (s2 in c2) and (s3 in c3):
  ok.add((s1,s2,s3))
if (s1 in c1) and (s3 in c2) and (s2 in c3):
  ok.add((s1,s3,s2))
if (s2 in c1) and (s1 in c2) and (s3 in c3):
  ok.add((s2,s1,s3))
if (s2 in c1) and (s3 in c2) and (s1 in c3):
  ok.add((s2,s3,s1))
if (s3 in c1) and (s1 in c2) and (s2 in c3):
  ok.add((s3,s1,s2))
if (s3 in c1) and (s2 in c2) and (s1 in c3):
  ok.add((s3,s2,s1))
print(["No","Yes"][len(ok)==1])