import itertools

OneCoder = ["gray", "brown", "green", "cyan", "blue", "yellow", "orange", "red"]
TwoCoder = ["gray", "green", "blue", "yellow", "red"]
ThreeForces = ["gray", "green", "cyan", "blue", "violet", "orange", "red"]

s = input().split()

ans = set()
for one in OneCoder:
    for two in TwoCoder:
        for three in ThreeForces:
            for i, j, k in itertools.permutations(s):
                if i == one and j == two and k == three:
                    ans.add((i, j, k))

print("Yes" if len(ans) == 1 else "No")