#include<bits/stdc++.h> using namespace std; using i64 = int64_t; int main(){ cout << "Yes" << endl; return 0; }