#include <bits/stdc++.h>
using namespace std;

int main(){
    // サイトごとの色のテーブル
    vector<vector<string>> table = {
        {"gray","brown","green","cyan","blue","yellow","orange","red"},
        {"gray","green","blue","yellow","red"},
        {"gray","green","cyan","blue","violet","orange","red"}
    };

    // 入力を受け取る
    vector<string> S(3);
    for(auto &&str : S) cin >> str;

    // ソートする
    sort(S.begin(), S.end());

    // 順列全探索をする
    int cnt = 0;
    do {
        // 条件を満たしているかのフラグ
        bool is_satisfied = true;
        for (int i = 0; i < 3; i++) {
            // table[i] に該当するサイト内で S[i] に該当する色があるかを調べる
            if (count(table[i].begin(), table[i].end(), S[i]) == 0) {
                // 該当する色がなかった場合
                is_satisfied = false;
                break;
            }
        }
        cnt += is_satisfied;
    } while (next_permutation(S.begin(), S.end()));

    cout << (cnt == 1 ? "Yes" : "No") << '\n';
}