#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using ll = long long; constexpr int INF = 1001001001; constexpr int mod = 1000000007; // constexpr int mod = 998244353; template inline bool chmax(T& x, T y){ if(x < y){ x = y; return true; } return false; } template inline bool chmin(T& x, T y){ if(x > y){ x = y; return true; } return false; } int vs[200005]; struct StronglyConnectedComponents{ using G = vector>; G graph; G rev; int n; int scc_sz = 0; int id = 0; vector scc_id; vector visited; StronglyConnectedComponents() = default; StronglyConnectedComponents(int V) : n(V) { graph.resize(n); rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); } StronglyConnectedComponents(G& g) : graph(g), n(g.size()) { rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); for(int u = 0; u < n; ++u){ for(int v : graph[u]) rev[v].push_back(u); } } void resize(int V){ n = V; graph.resize(n); rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); } void add_edge(int u, int v){ graph[u].emplace_back(v); rev[v].emplace_back(u); } void dfs(int from){ visited[from] = true; for(int to : graph[from]){ if(!visited[to]) dfs(to); } vs[id++] = from; } void rdfs(int from, int k){ scc_id[from] = k; for(int to : rev[from]){ if(scc_id[to] == -1) rdfs(to, k); } } void build(){ for(int v = 0; v < n; ++v){ if(!visited[v]) dfs(v); } for(int i = n - 1; i >= 0; --i){ if(scc_id[vs[i]] == -1){ rdfs(vs[i], scc_sz++); } } return; } int size() { return scc_sz; } int operator[](int v) { return scc_id[v]; } }; struct TwoSAT { StronglyConnectedComponents scc; int n; vector sat; TwoSAT(int V) : n(V) { scc.resize(n * 2); sat.resize(n); } // [false] [true] void add_edge(int i, bool f, int j, bool g){ scc.add_edge(i * 2 + (f ? 0 : 1), j * 2 + (g ? 1 : 0)); scc.add_edge(j * 2 + (g ? 0 : 1), i * 2 + (f ? 1 : 0)); } // sat[v] = true -> v = false // sat[v] = false -> v = true bool satisfiable(){ scc.build(); for(int i = 0; i < n; ++i){ if(scc[i * 2] == scc[i * 2 + 1]) return false; sat[i] = scc[i * 2] < scc[i * 2 + 1]; } return true; } vector get_sat() { return sat; } }; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); int N, M; cin >> N >> M; vector A(M), B(M), Y(M); for(int i = 0; i < M; ++i){ cin >> A[i] >> B[i] >> Y[i]; --A[i], --B[i]; } vector X(N); for(int k = 0; k < 30; ++k){ TwoSAT ts(N); for(int i = 0; i < M; ++i){ if(Y[i] >> k & 1){ ts.add_edge(A[i], false, B[i], false); ts.add_edge(A[i], true, B[i], true); } else{ ts.add_edge(A[i], false, B[i], true); ts.add_edge(A[i], true, B[i], false); } } if(!ts.satisfiable()){ cout << -1 << endl; return 0; } for(int i = 0; i < N; ++i){ if(!ts.sat[i]) X[i] += 1 << k; } } for(int i = 0; i < N; ++i) cout << X[i] << '\n'; return 0; }