#include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 998244353; // constexpr int MOD = 1000000007; constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1}; constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1}; constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; struct UnionFind { explicit UnionFind(const int n) : data(n, -1) {} int root(const int ver) { return data[ver] < 0 ? ver : data[ver] = root(data[ver]); } bool unite(int u, int v) { u = root(u); v = root(v); if (u == v) return false; if (data[u] > data[v]) std::swap(u, v); data[u] += data[v]; data[v] = u; return true; } bool is_same(const int u, const int v) { return root(u) == root(v); } int size(const int ver) { return -data[root(ver)]; } private: std::vector data; }; int main() { int n, m; cin >> n >> m; UnionFind union_find(n * 2); while (m--) { int i, j; string e; cin >> i >> e >> j; --i; --j; if (e == "<==>") { union_find.unite(i, j); union_find.unite(i + n, j + n); } else if (e == "<=/=>") { union_find.unite(i, j + n); union_find.unite(i + n, j); } } REP(i, n) { if (union_find.is_same(i, i + n)) { cout << "No\n"; return 0; } } vector> nodes(n * 2); REP(i, n * 2) nodes[union_find.root(i)].emplace_back(i); vector is_visited(n, false), ans; for (const vector& v : nodes) { if (v.empty() || is_visited[v.front() >= n ? v.front() - n : v.front()]) continue; array, 2> ar{}; for (const int v_i : v) { ar[v_i >= n].emplace_back(v_i >= n ? v_i - n : v_i); is_visited[v_i >= n ? v_i - n : v_i] = true; } ranges::copy(ar[ar[0].size() > ar[1].size() ? 0 : 1], back_inserter(ans)); } const int l = ans.size(); cout << "Yes\n" << l << '\n'; REP(i, l) cout << ans[i] + 1 << " \n"[i + 1 == l]; return 0; }