Problem: A system of n vessels with water is given. Several pairs of vessels are connected by tubes with transfusion mechanisms. One may transfer an integer amount of liters of water between two vessels connected by such tube (tube works in both directions). There might be multiple tubes between two vessels. Total number of tubes equals e. Volume of each vessel equals v liters. Of course, the amount of the water in any vessel cannot exceed v liters in the process of transfusions.

Given the initial amounts ai of water in the vessels and the desired amounts bi find a sequence of transfusions that deals with the task. Total number of transfusions must not exceed 2·n2.

Input

First line of the input contains integers n, v, e (1 ≤ n ≤ 300, 1 ≤ v ≤ 109, 0 ≤ e ≤ 50000).

Next two lines contain n integers each: initial ai and the desired amounts bi of water in corresponding vessels (0 ≤ ai, bi ≤ v).

Next e lines describe one tube each in the format x y (1 ≤ x, y ≤ n, x ≠ y) for a tube between vessels number x and y. There might be multiple tubes between two vessels. You may assume that vessels are numbered from 1 to n in some way.

Output

Print "NO" (without quotes), if such sequence of transfusions does not exist.

Otherwise print any suitable sequence in the following format. On the first line print the total number of transfusions k (k should not exceed 2·n2). In the following k lines print transfusions in the format x y d (transfusion of d liters from the vessel number x to the vessel number y, x and y must be distinct). For all transfusions d must be a non-negative integer.

Examples

Input

2 10 1
1 9
5 5
1 2


Output

1
2 1 4


Input

2 10 0
5 2
4 2


Output

NO


Input

2 10 0
4 2
4 2


Output

0

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int N = 305, M = 50005;
int n, m, v;
struct node;
vector<pair<pair<node *, node *>, int> > ans;
struct edge {
  node *ed;
  edge *next;
} E[M << 1], *newE = E;
struct node {
  edge *son;
  node *belong;
  int a, b;
  node *get() { return belong ? (belong = belong->get()) : this; }
} V[N];
int tot;
node *q[N];
bool dfs(node *s, node *t) {
  q[++tot] = s;
  if (s == t) return 1;
  for (edge *e = s->son; e; e = e->next)
    if (e->ed != q[tot - 1])
      if (dfs(e->ed, t)) return 1;
  tot--;
  return 0;
}
void flow(node *s, node *t, int c) {
  tot = 0;
  if (!dfs(s, t)) return;
  int last = tot;
  for (int i = tot - 1; i; i--)
    if (q[i]->a >= c) {
      for (int j = i; j < last; j++)
        ans.push_back(make_pair(make_pair(q[j], q[j + 1]), c));
      last = i;
    }
  s->a -= c;
  t->a += c;
}
int main() {
  scanf("%d%d%d", &n, &v, &m);
  for (int i = 1; i <= n; i++) scanf("%d", &V[i].a);
  for (int i = 1; i <= n; i++) scanf("%d", &V[i].b);
  for (int i = 0; i < m; i++) {
    int a, b;
    scanf("%d%d", &a, &b);
    node *x = V[a].get(), *y = V[b].get();
    if (x == y) continue;
    x->belong = y;
    *newE = (edge){V + b, V[a].son}, V[a].son = newE++;
    *newE = (edge){V + a, V[b].son}, V[b].son = newE++;
  }
  for (int i = 1; i <= n; i++)
    for (int j = 1; V[i].a > V[i].b && j <= n; j++)
      if (V[j].a < V[j].b) {
        int tmp = min(V[i].a - V[i].b, V[j].b - V[j].a);
        if (tmp > (v + 1) / 2) {
          flow(V + i, V + j, (v + 1) / 2);
          flow(V + i, V + j, tmp - (v + 1) / 2);
        } else
          flow(V + i, V + j, tmp);
      }
  bool ok = 1;
  for (int i = 1; i <= n; i++) ok &= V[i].a == V[i].b;
  if (!ok) return puts("NO"), 0;
  printf("%d\n", ans.size());
  for (int i = 0; i < ans.size(); i++)
    printf("%d %d %d\n", ans[i].first.first - V, ans[i].first.second - V,
           ans[i].second);
}