Problem: In Byteland, there are two political parties fighting for seats in the Parliament in the upcoming elections: Wrong Answer Party and Time Limit Exceeded Party. As they want to convince as many citizens as possible to cast their votes on them, they keep promising lower and lower taxes.

There are n cities in Byteland, connected by m one-way roads. Interestingly enough, the road network has no cycles — it's impossible to start in any city, follow a number of roads, and return to that city. Last year, citizens of the i-th city had to pay h_i bourles of tax.

Parties will now alternately hold the election conventions in various cities. If a party holds a convention in city v, the party needs to decrease the taxes in this city to a non-negative integer amount of bourles. However, at the same time they can arbitrarily modify the taxes in each of the cities that can be reached from v using a single road. The only condition that must be fulfilled that the tax in each city has to remain a non-negative integer amount of bourles.

The first party to hold the convention is Wrong Answer Party. It's predicted that the party to hold the last convention will win the election. Can Wrong Answer Party win regardless of Time Limit Exceeded Party's moves?

Input

The first line of the input contains two integers n, m (1 ≤ n ≤ 200 000, 0 ≤ m ≤ 200 000) — the number of cities and roads in Byteland.

The next line contains n space-separated integers h_1, h_2, ..., h_n (0 ≤ h_i ≤ 10^9); h_i denotes the amount of taxes paid in the i-th city.

Each of the following m lines contains two integers (1 ≤ u, v ≤ n, u ≠ v), and describes a one-way road leading from the city u to the city v. There will be no cycles in the road network. No two roads will connect the same pair of cities.

We can show that the conventions cannot be held indefinitely for any correct test case.

Output

If Wrong Answer Party can win the election, output WIN in the first line of your output. In this case, you're additionally asked to produce any convention allowing the party to win regardless of the opponent's actions. The second line should contain n non-negative integers h'_1, h'_2, ..., h'_n (0 ≤ h'_i ≤ 2 ⋅ 10^{18}) describing the amount of taxes paid in consecutive cities after the convention. If there are multiple answers, output any. We guarantee that if the party has any winning move, there exists a move after which no city has to pay more than 2 ⋅ 10^{18} bourles.

If the party cannot assure their victory, output LOSE in the first and only line of the output.

Examples

Input


4 2
2 1 1 5
1 2
3 4


Output


WIN
1 5 1 5 


Input


4 2
1 5 1 5
1 2
3 4


Output


LOSE


Input


3 3
314 159 265
1 2
1 3
3 2


Output


WIN
0 0 0 


Input


6 4
2 2 5 5 6 6
1 3
2 4
3 5
4 6


Output


LOSE

Note

In the first example, Wrong Answer Party should hold the convention in the city 1. The party will decrease the taxes in this city to 1 bourle. As the city 2 is directly reachable from 1, we can arbitrarily modify the taxes in this city. The party should change the tax to 5 bourles. It can be easily proved that Time Limit Exceeded cannot win the election after this move if Wrong Answer Party plays optimally.

The second example test presents the situation we created after a single move in the previous test; as it's Wrong Answer Party's move now, the party cannot win.

In the third test, we should hold the convention in the first city. This allows us to change the taxes in any city to any desired value; we can for instance decide to set all the taxes to zero, which allows the Wrong Answer Party to win the election immediately.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
template <class n, class second>
ostream &operator<<(ostream &p, pair<n, second> x) {
  return p << "<" << x.first << ", " << x.second << ">";
}
template <class n>
auto operator<<(ostream &p, n y) ->
    typename enable_if<!is_same<n, string>::value,
                       decltype(y.begin(), p)>::type {
  int o = 0;
  p << "{";
  for (auto c : y) {
    if (o++) p << ", ";
    p << c;
  }
  return p << "}";
}
void dor() { cerr << endl; }
template <class n, class... second>
void dor(n p, second... y) {
  cerr << p << " ";
  dor(y...);
}
template <class n, class second>
void mini(n &p, second y) {
  if (p > y) p = y;
}
template <class n, class second>
void maxi(n &p, second y) {
  if (p < y) p = y;
}
const int M = 1024 * 256;
int H[M], mex[M];
int n, m, out[M], xo[M], xo2[M];
vector<int> V[M], T[M];
int main() {
  scanf("%d%d", &n, &m);
  for (int i = (1); i <= (int)(n); ++i) {
    scanf("%d", H + i);
  }
  for (int i = (1); i <= (int)(m); ++i) {
    int a, b;
    scanf("%d%d", &a, &b);
    V[a].push_back(b);
    T[b].push_back(a);
    out[a]++;
  }
  queue<int> Q;
  for (int i = (1); i <= (int)(n); ++i) {
    if (out[i] == 0) {
      Q.push(i);
    }
  }
  while (!Q.empty()) {
    int v = Q.front();
    Q.pop();
    vector<int> X;
    for (auto x : V[v]) {
      X.push_back(mex[x]);
    }
    sort((X).begin(), (X).end());
    X.resize(unique((X).begin(), (X).end()) - X.begin());
    X.push_back(1e9);
    for (int i = (0); i <= (int)((int)(X).size() - 1); ++i) {
      if (X[i] != i) {
        mex[v] = i;
        break;
      }
    }
    for (auto x : T[v]) {
      out[x]--;
      if (out[x] == 0) {
        Q.push(x);
      }
    }
    xo[mex[v]] ^= H[v];
  }
  int t = -1;
  for (int i = (0); i <= (int)(n); ++i) {
    if (xo[i] != 0) {
      t = i;
    }
  }
  if (t == -1) {
    printf("LOSE\n");
    return 0;
  }
  printf("WIN\n");
  bool boo = false;
  for (int i = (1); i <= (int)(n); ++i) {
    if (mex[i] != t || (xo[t] ^ H[i]) >= H[i]) {
      continue;
    }
    boo = true;
    H[i] = xo[t] ^ H[i];
    for (auto x : V[i]) {
      if (xo[mex[x]] != 0) {
        H[x] = xo[mex[x]] ^ H[x];
        xo[mex[x]] = 0;
      }
    }
    break;
  }
  assert(boo);
  for (int i = (1); i <= (int)(n); ++i) {
    printf("%d ", H[i]);
    xo2[mex[i]] ^= H[i];
  }
  for (int i = (0); i <= (int)(n); ++i) {
    assert(xo2[i] == 0);
  }
  printf("\n");
  return 0;
}