#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repr(i, n) for (int i = (int)(n) - 1; i >= 0; i--) #define repk(i, k, n) for (int i = k; i < (int)(n); i++) #define all(v) v.begin(), v.end() #define mod1 1000000007 #define mod2 998244353 #define mod3 100000007 #define vi vector #define vs vector #define vc vector #define vl vector #define vb vector #define vvi vector> #define vvc vector> #define vvl vector> #define vvb vector> #define vvvi vector>> #define vvvl vector>> #define pii pair #define pil pair #define pli pair #define pll pair #define vpii vector> #define vpll vector> #define vvpii vector>> #define vvpll vector>> template void debug(T e) { cerr << e << endl; } template void debug(vector &v) { rep(i, v.size()) { cerr << v[i] << " "; } cerr << endl; } template void debug(vector> &v) { rep(i, v.size()) { rep(j, v[i].size()) { cerr << v[i][j] << " "; } cerr << endl; } } template void debug(vector> &v) { rep(i, v.size()) { cerr << v[i].first << " " << v[i].second << endl; } } template void debug(set &st) { for (auto itr = st.begin(); itr != st.end(); itr++) { cerr << *itr << " "; } cerr << endl; } template void debug(multiset &ms) { for (auto itr = ms.begin(); itr != ms.end(); itr++) { cerr << *itr << " "; } cerr << endl; } template void debug(map &mp) { for (auto itr = mp.begin(); itr != mp.end(); itr++) { cerr << itr->first << " " << itr->second << endl; } } void debug_out() { cerr << endl; } template void debug_out(Head H, Tail... T) { cerr << H << " "; debug_out(T...); } using mint = modint998244353; void debug_mint1(vector &vec) { for (int i = 0; i < vec.size(); i++) { cerr << vec[i].val() << " "; } cerr << endl; } void debug_mint2(vector> &vec) { for (int i = 0; i < vec.size(); i++) { for (int j = 0; j < vec[i].size(); j++) { cerr << vec[i][j].val() << " "; } cerr << endl; } } int main() { ll N, M; cin >> N >> M; vector u(M); vector E(M); vector v(M); for (ll i = 0; i < M; i++){ cin >> u[i] >> E[i] >> v[i]; u[i]--; v[i]--; } vector> graph(N, vector(0)); rep(i, M){ ll cost = 0; if (E[i].size() == 5) cost++; graph[u[i]].push_back(make_pair(v[i], cost)); graph[v[i]].push_back(make_pair(u[i], cost)); } vector col(N, -1); for (ll i = 0; i < N; i++){ if (col[i] != -1){ continue; } vector es; queue que; que.push(i); es.push_back(i); col[i] = 0; ll white = 1; ll black = 0; while (que.size()){ ll p = que.front(); que.pop(); for (pll px: graph[p]){ ll nx = px.first; ll nc = px.second; if (col[nx] != -1){ if (nc == 1 && col[nx] == col[p]){ cout << "No" << endl; return 0; } else if (nc == 0 && col[nx] != col[p]){ cout << "No" << endl; return 0; } continue; } que.push(nx); es.push_back(nx); if (nc == 0){ if (col[p] == 0){ col[nx] = 0; white++; } else{ col[nx] = 1; black++; } } else{ if (col[p] == 0){ col[nx] = 1; black++; } else{ col[nx] = 0; white++; } } } } if (white < black){ for (ll x: es){ col[x] ^= 1; } } } vector ans; rep(i, N){ if (col[i] == 0) ans.push_back(i); } cout << "Yes" << endl; ll L = ans.size(); cout << L << endl; for (ll i = 0; i < L; i++){ cout << ans[i] + 1; if (i < L - 1) cout << " "; } cout << endl; }