#include #include #include #include #include #include #include #include #include #include #include #include #include #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template vector> vec2d(int n, int m, T v){ return vector>(n, vector(m, v)); } template vector>> vec3d(int n, int m, int k, T v){ return vector>>(n, vector>(m, vector(k, v))); } template void print_vector(vector v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } string EQ = "<==>"; string NEQ = "<=/=>"; struct edge{ int to, c; edge(int to, int c): to(to), c(c) {} }; int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int n, m; cin >> n >> m; vector> g(n); for(int i = 0; i < m; i++){ int a, b; string s; cin >> a >> s >> b; a--; b--; if(s == EQ){ g[a].push_back(edge(b, 0)); g[b].push_back(edge(a, 0)); }else{ g[a].push_back(edge(b, 1)); g[b].push_back(edge(a, 1)); } } vector col(n, -1); function dfs = [&](int v, int c){ col[v] = c; for(edge e: g[v]){ if(col[e.to] == -1){ if(!dfs(e.to, c^e.c)) return false; }else{ if((c^e.c) != col[e.to]) return false; } } return true; }; for(int i = 0; i < n; i++) { if(col[i] == -1){ if(!dfs(i, 0)) { cout << "No" << endl; return 0; } } } vector> v(2); for(int i = 0; i < n; i++) v[col[i]].push_back(i); for(int p = 0; p < 2; p++){ if(v[p].size()*2 >= n){ cout << "Yes" << endl; cout << v[p].size() << endl; for(int x: v[p]) cout << x+1 << ' '; cout << endl; return 0; } } }