Problem: Leha plays a computer game, where is on each level is given a connected graph with n vertices and m edges. Graph can contain multiple edges, but can not contain self loops. Each vertex has an integer di, which can be equal to 0, 1 or  - 1. To pass the level, he needs to find a «good» subset of edges of the graph or say, that it doesn't exist. Subset is called «good», if by by leaving only edges from this subset in the original graph, we obtain the following: for every vertex i, di = - 1 or it's degree modulo 2 is equal to di. Leha wants to pass the game as soon as possible and ask you to help him. In case of multiple correct answers, print any of them.

Input

The first line contains two integers n, m (1 ≤ n ≤ 3·105, n - 1 ≤ m ≤ 3·105) — number of vertices and edges.

The second line contains n integers d1, d2, ..., dn ( - 1 ≤ di ≤ 1) — numbers on the vertices.

Each of the next m lines contains two integers u and v (1 ≤ u, v ≤ n) — edges. It's guaranteed, that graph in the input is connected.

Output

Print  - 1 in a single line, if solution doesn't exist. Otherwise in the first line k — number of edges in a subset. In the next k lines indexes of edges. Edges are numerated in order as they are given in the input, starting from 1.

Examples

Input

1 0
1


Output

-1


Input

4 5
0 0 0 -1
1 2
2 3
3 4
1 4
2 4


Output

0


Input

2 1
1 1
1 2


Output

1
1


Input

3 3
0 -1 1
1 2
2 3
1 3


Output

1
2

Note

In the first sample we have single vertex without edges. It's degree is 0 and we can not get 1.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
void init_ios() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
}
const int N = 3 * (int)1e5 + 10;
int n, m, d[N], jest = -1, ile[N], par[N], sumnp;
bool vis[N];
vector<pair<int, int> > child[N];
bool napraw, wzialem[N];
map<pair<int, int>, int> ktora;
pair<int, int> yolo;
set<int> res;
bool dupa;
void dfs1(int v, int kra, int pr) {
  vis[v] = true;
  for (pair<int, int> dz : child[v])
    if (!vis[dz.first]) dfs1(dz.first, dz.second, v);
  if (d[v] == -1) return;
  if (d[v] != ile[v] % 2) {
    res.erase(kra);
    --ile[pr];
  }
}
void dfs2(int v, int kra, int pr) {
  vis[v] = true;
  par[v] = pr;
  for (pair<int, int> dz : child[v]) {
    if (!vis[dz.first]) {
      ktora[{v, dz.first}] = dz.second;
      dfs2(dz.first, dz.second, v);
    } else if (vis[dz.first] && dz.first != pr)
      yolo = {v, dz.second};
  }
  if (d[v] != ile[v] % 2 && kra != -1) {
    res.erase(kra);
    --ile[pr];
    wzialem[kra] = false;
  } else if (d[v] != ile[v] % 2 && kra == -1)
    napraw = true;
}
void dfs3(int v, int kra, int pr) {
  vis[v] = true;
  for (pair<int, int> dz : child[v])
    if (!vis[dz.first]) dfs3(dz.first, dz.second, v);
  if (d[v] != ile[v] % 2 && kra != -1) {
    res.erase(kra);
    --ile[pr];
  } else if (d[v] != ile[v] % 2 && kra == -1)
    dupa = true;
}
int main() {
  init_ios();
  cin >> n >> m;
  for (int i = 1; i <= n; ++i) {
    cin >> d[i];
    if (d[i] == -1) jest = i;
    wzialem[i] = true;
    if (d[i] == 1) sumnp += d[i];
  }
  for (int i = 1; i <= m; ++i) {
    int x, y;
    res.insert(i);
    cin >> x >> y;
    child[x].push_back({y, i});
    child[y].push_back({x, i});
    ile[x]++;
    ile[y]++;
  }
  if (jest != -1) {
    dfs1(jest, -1, -1);
    cout << res.size() << "\n";
    for (int nr : res) cout << nr << "\n";
    return 0;
  }
  if (sumnp & 1) {
    cout << "-1\n";
    return 0;
  }
  if (m > n - 1) {
    dfs2(1, -1, -1);
    if (napraw) {
      res.erase(yolo.second);
      int v = yolo.first;
      while (v != 1) {
        int kt = ktora[{par[v], v}];
        if (wzialem[kt])
          res.erase(kt);
        else
          res.insert(kt);
        v = par[v];
      }
    }
    cout << res.size() << "\n";
    for (int nr : res) cout << nr << "\n";
    return 0;
  } else {
    dfs3(1, -1, -1);
    if (dupa) {
      cout << "-1\n";
      return 0;
    }
    cout << res.size() << "\n";
    for (int nr : res) cout << nr << "\n";
    return 0;
  }
}