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

using i64 = int64_t;

int main(){
    cout << "Yes" << endl;

    return 0;
}