#include using namespace std; using i32 = int; using i64 = long long; using f64 = long double; using i128 = __int128_t; using p2 = pair; using el = tuple; void _main(); int main() { cin.tie(0); ios::sync_with_stdio(false); _main(); } i64 pow(i64 x, i64 n) { i64 res = 1; i64 t = x; while (n > 0) { if (n & 1) { res = res * t; } t = t * t; } return res; } void _main() { string s1, s2, s3; cin >> s1 >> s2 >> s3; vector s = {s1, s2, s3}; vector a1 = {"gray","brown","green","cyan","blue","yellow","orange","red"}; vector a2 = {"gray","green","blue","yellow","red"}; vector a3 = {"gray","green","cyan","blue","violet","orange","red"}; vector> A = {a1, a2, a3}; vector ord = {0, 1, 2}; i64 ans = 0; for (i64 i = 0; i < a1.size(); i++) { for (i64 j = 0; j < a2.size(); j++) { for (i64 k = 0; k < a3.size(); k++) { if (a1[i] == s1 && a2[j] == s2 && a3[k] == s3) { ans++; } else if (a1[i] == s1 && a2[j] == s3 && a3[k] == s2) { ans++; } else if (a1[i] == s2 && a2[j] == s1 && a3[k] == s3) { ans++; } else if (a1[i] == s2 && a2[j] == s3 && a3[k] == s2) { ans++; } else if (a1[i] == s3 && a2[j] == s1 && a3[k] == s2) { ans++; } else if (a1[i] == s3 && a2[j] == s2 && a3[k] == s1) { ans++; } } } } if (ans == 1) { cout << "Yes\n"; } else { cout << "No\n"; } }