Problem: Today you are to solve the problem even the famous Hercule Poirot can't cope with! That's why this crime has not yet been solved and this story was never included in Agatha Christie's detective story books. 

You are not informed on what crime was committed, when and where the corpse was found and other details. We only know that the crime was committed in a house that has n rooms and m doors between the pairs of rooms. The house residents are very suspicious, that's why all the doors can be locked with keys and all the keys are different. According to the provided evidence on Thursday night all the doors in the house were locked, and it is known in what rooms were the residents, and what kind of keys had any one of them. The same is known for the Friday night, when all the doors were also locked. On Friday it was raining heavily, that's why nobody left the house and nobody entered it. During the day the house residents could

  * open and close doors to the neighboring rooms using the keys at their disposal (every door can be opened and closed from each side); 
  * move freely from a room to a room if a corresponding door is open; 
  * give keys to one another, being in one room. 



"Little grey matter" of Hercule Poirot are not capable of coping with such amount of information. Find out if the positions of people and keys on the Thursday night could result in the positions on Friday night, otherwise somebody among the witnesses is surely lying.

Input

The first line contains three preset integers n, m и k (1 ≤ n, m, k ≤ 1000) — the number of rooms, the number of doors and the number of house residents respectively. The next m lines contain pairs of room numbers which join the doors. The rooms are numbered with integers from 1 to n. There cannot be more that one door between the pair of rooms. No door connects a room with itself. The next k lines describe the residents' position on the first night. Every line contains a resident's name (a non-empty line consisting of no more than 10 Latin letters), then after a space follows the room number, then, after a space — the number of keys the resident has. Then follow written space-separated numbers of the doors that can be unlocked by these keys. The doors are numbered with integers from 1 to m in the order in which they are described in the input data. All the residents have different names, uppercase and lowercase letters considered to be different. Every m keys occurs exactly once in the description. Multiple people may be present in one room, some rooms may be empty. The next k lines describe the position of the residents on the second night in the very same format. It is guaranteed that in the second night's description the residents' names remain the same and every m keys occurs exactly once.

Output

Print "YES" (without quotes) if the second arrangement can result from the first one, otherwise, print "NO".

Examples

Input

2 1 2
1 2
Dmitry 1 1 1
Natalia 2 0
Natalia 1 1 1
Dmitry 2 0


Output

YES


Input

4 4 3
1 3
1 2
2 3
3 4
Artem 1 1 4
Dmitry 1 1 2
Edvard 4 2 1 3
Artem 2 0
Dmitry 1 0
Edvard 4 4 1 2 3 4


Output

NO

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int maxn = 1100;
int n, m, K, A[maxn];
struct Tuse {
  int n, a[maxn];
  inline void set() { ++n; }
  inline bool at(int x) { return a[x] == n; }
  inline void set(int x) { a[x] = n; }
  inline void reset(int x) { a[x] = n - 1; }
};
struct Tfind {
  int f[maxn];
  inline void set(int n) {
    int i;
    for (i = 0; i <= n + 1; ++i) f[i] = i;
  }
  int find(int x) { return x != f[x] ? f[x] = find(f[x]) : x; }
  inline void add(int a, int b) { f[find(a)] = find(b); }
};
struct Talt {
  int tot;
  struct Tsqy {
    int s, w;
    Tsqy *l;
    inline void set(Tsqy *_l, int _s, int _w) { l = _l, s = _s, w = _w; }
  } * pos[maxn], buf[maxn * 2];
  inline void Add(int a, int b, int c = 0) {
    buf[++tot].set(pos[a], b, c), pos[a] = buf + tot;
    buf[++tot].set(pos[b], a, c), pos[b] = buf + tot;
  }
} alt;
map<string, int> Mp;
namespace Ninit {
string s0;
void init() {
  int i, a1, a2;
  scanf("%d%d%d", &n, &m, &K);
  for (i = 0; i < m; ++i) scanf("%d%d", &a1, &a2), alt.Add(a1, a2, i + 1);
}
}  // namespace Ninit
namespace Nsolve {
string s0;
Tfind Uad, Udt;
vector<int> Kad[maxn];
vector<int> Kdt[maxn];
int Cad[maxn], Cdt[maxn];
namespace Nunion {
vector<int> key[maxn];
Tfind U;
Tuse use, B;
int C[maxn];
bool dfs(int x, int Cx) {
  Talt::Tsqy *p;
  vector<int>::iterator i;
  if (C[x] != -1 && U.find(C[x]) != Cx) {
    for (i = key[C[x]].begin(); i < key[C[x]].end(); ++i) key[Cx].push_back(*i);
    key[C[x]].clear();
    return U.add(C[x], Cx), false;
  }
  C[x] = Cx, use.set(x);
  for (p = alt.pos[x]; p; p = p->l)
    if (B.at(p->w) && !use.at(p->s)) {
      if (!dfs(p->s, Cx)) return false;
    }
  return true;
}
void solve() {
  int i;
  vector<int>::iterator p;
  U.set(K), memset(C, 0xff, sizeof C);
  for (i = 0; i < K; ++i) {
    for (;;) {
      B.set(), use.set();
      for (p = key[i].begin(); p < key[i].end(); ++p) B.set(*p);
      if (dfs(A[i], i)) break;
    }
  }
}
}  // namespace Nunion
using Nunion::key;
void solve() {
  int i, j, x, a1, a2;
  vector<int>::iterator p;
  for (i = 0; i < K; ++i) {
    cin >> s0, x = Mp[s0] = i;
    for (cin >> A[x] >> a1; a1; --a1) scanf("%d", &a2), key[x].push_back(a2);
  }
  Nunion::solve();
  memcpy(Cad, Nunion::C, sizeof Cad);
  for (Uad = Nunion::U, i = 0; i < K; ++i)
    if (Uad.find(i) == i) Kad[i] = key[i];
  for (i = 0; i < K; ++i) key[i].clear();
  for (i = 0; i < K; ++i) {
    cin >> s0, x = Mp[s0];
    for (cin >> A[x] >> a1; a1; --a1) scanf("%d", &a2), key[x].push_back(a2);
  }
  Nunion::solve();
  memcpy(Cdt, Nunion::C, sizeof Cdt);
  for (Udt = Nunion::U, i = 0; i < K; ++i)
    if (Udt.find(i) == i) Kdt[i] = key[i];
  for (i = 0; i < n; ++i)
    if (Cad[i] != Cdt[i]) return printf("NO\n"), void();
  for (i = 0; i < K; ++i)
    if (Uad.find(i) != Udt.find(i)) return printf("NO\n"), void();
  for (i = 0; i < K; ++i)
    if (Uad.find(i) == i) {
      sort(Kad[i].begin(), Kad[i].end());
      sort(Kdt[i].begin(), Kdt[i].end());
      if (Kad[i] != Kdt[i]) return printf("NO\n"), void();
    }
  printf("YES\n");
}
}  // namespace Nsolve
int main() {
  Ninit::init();
  Nsolve::solve();
  return 0;
}