#include namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; using mint = modint998244353; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m; cin >> n >> m; vector b(n); rep(i, n) { int x; cin >> x; b[i] = x; } vector> to(n); dsu uf(2 * n); int x = -1, y = -1, xyi = -1; rep(i, m) { int u, v; cin >> u >> v; u--, v--; if (uf.same(u, v + n)) continue; if (!uf.same(u, v)) { to[u].emplace_back(v, i); to[v].emplace_back(u, i); uf.merge(u, v + n); uf.merge(u + n, v); } else if (xyi == -1) { x = u, y = v, xyi = i; } } vector ans(m), a(n); auto dfs = [&](auto&& self, int u, int p) -> void { for (auto [v, ei] : to[u]) if (v != p) { self(self, v, u); mint add = b[v] - a[v]; a[u] += add; a[v] += add; ans[ei] += add; } }; int root = x != -1 ? x : 0; dfs(dfs, root, -1); if (x != -1) { bool found = false; VI path; auto dfs2 = [&](auto&& self, int u, int p) -> void { if (u == y) { found = true; return; } for (auto [v, ei] : to[u]) if (v != p) { path.emplace_back(ei); self(self, v, u); if (found) return; path.pop_back(); } }; dfs2(dfs2, x, -1); path.emplace_back(xyi); assert(ssize(path) % 2); mint add = (b[x] - a[x]) / 2; rep(idx, ssize(path)) { int ei = path[idx]; ans[ei] += idx % 2 == 0 ? add : -add; } a[x] += 2 * add; } if (a[root] == b[root]) { rep(i, m) cout << ans[i].val() << " \n"[i + 1 == m]; } else { cout << -1 << '\n'; } }