#include <bits/stdc++.h>
using namespace std;

#ifdef _WIN32
#define scanfll(x) scanf("%I64d", x)
#define printfll(x) printf("%I64d", x)
#else
#define scanfll(x) scanf("%lld", x)
#define printfll(x) printf("%lld", x)
#endif
#define rep(i,n) for(long long i = 0; i < (long long)(n); i++)
#define repi(i,a,b) for(long long i = (long long)(a); i < (long long)(b); i++)
#define pb push_back
#define all(x) (x).begin(), (x).end()
#define fi first
#define se second
#define mt make_tuple
#define mp make_pair
template<class T1, class T2> bool chmin(T1 &a, T2 b) { return b < a && (a = b, true); }
template<class T1, class T2> bool chmax(T1 &a, T2 b) { return a < b && (a = b, true); }

using ll = long long; using ld = long double; using vll = vector<ll>; using vvll = vector<vll>; using vld = vector<ld>; 
using vi = vector<int>; using vvi = vector<vi>;
vll conv(vi& v) { vll r(v.size()); rep(i, v.size()) r[i] = v[i]; return r; }
using P = pair<ll, ll>;

template <typename T, typename U> ostream &operator<<(ostream &o, const pair<T, U> &v) {  o << "(" << v.first << ", " << v.second << ")"; return o; }
template<size_t...> struct seq{}; template<size_t N, size_t... Is> struct gen_seq : gen_seq<N-1, N-1, Is...>{}; template<size_t... Is> struct gen_seq<0, Is...> : seq<Is...>{};
template<class Ch, class Tr, class Tuple, size_t... Is>
void print_tuple(basic_ostream<Ch,Tr>& os, Tuple const& t, seq<Is...>){ using s = int[]; (void)s{0, (void(os << (Is == 0? "" : ", ") << get<Is>(t)), 0)...}; }
template<class Ch, class Tr, class... Args> 
auto operator<<(basic_ostream<Ch, Tr>& os, tuple<Args...> const& t) -> basic_ostream<Ch, Tr>& { os << "("; print_tuple(os, t, gen_seq<sizeof...(Args)>()); return os << ")"; }
ostream &operator<<(ostream &o, const vvll &v) { rep(i, v.size()) { rep(j, v[i].size()) o << v[i][j] << " "; cout << endl; } return o; }
template <typename T> ostream &operator<<(ostream &o, const vector<T> &v) { o << '['; rep(i, v.size()) o << v[i] << (i != v.size()-1 ? ", " : ""); o << "]";  return o; }
template <typename T>  ostream &operator<<(ostream &o, const set<T> &m) { o << '['; for (auto it = m.begin(); it != m.end(); it++) o << *it << (next(it) != m.end() ? ", " : ""); o << "]";  return o; }
template <typename T, typename U>  ostream &operator<<(ostream &o, const map<T, U> &m) { o << '['; for (auto it = m.begin(); it != m.end(); it++) o << *it << (next(it) != m.end() ? ", " : ""); o << "]";  return o; }
template <typename T, typename U>  ostream &operator<<(ostream &o, const unordered_map<T, U> &m) { o << '['; for (auto it = m.begin(); it != m.end(); it++) o << *it; o << "]";  return o; }
void printbits(ll mask, ll n) { rep(i, n) { cout << !!(mask & (1ll << i)); } cout << endl; }
#define ldout fixed << setprecision(40) 

static const long long mo = 1e9+7;

/***********************/
// ??±?????¨???
/***********************/
#define REP(i,n) for(int i=0;i<(int)n;++i)
#define FOR(i,c) for(__typeof((c).begin())i=(c).begin();i!=(c).end();++i)
#define ALL(c) (c).begin(), (c).end()

typedef long long Weight;
const Weight INF = 1e18;
const Weight EPS = 0; // ???????°???°?????????1e-14

struct Edge {
    ll src, dst;
    ll cap = 1;
    Weight weight; // ????°??????¨?????§???cost?????????
    ll rev; // ????????°?????????????????¨
    bool rev_flag = false; // rev??????1
    Edge(int src = 0, int dst = 0, int cap = 0, Weight cost = 0): // ????°??????¨?????¨
        src(src), dst(dst), cap(cap), weight(cost){ }
};
bool operator < (const Edge &e, const Edge &f) {
    return e.weight != f.weight ? e.weight > f.weight : // !!INVERSE!!
        e.src != f.src ? e.src < f.src : e.dst < f.dst;
}
typedef vector<Edge> Edges;
typedef vector<Edges> Graph;

typedef vector<Weight> Array;
typedef vector<Array> Matrix;

// ?????§?????¨????°??????¨????????????
// ?????????????????§?????£????????????????????????????????????
void addDirected(Graph& g, ll src, ll dst, Weight weight = 0, ll cap = 0) {
    assert(src < g.size() && src >= 0 && dst < g.size() && dst >= 0);
    Edge e = Edge(src, dst, weight);
    e.cap = cap;
    g[src].push_back(e); 
}
vector<string> names;
unordered_map<string, int> name_server;
void clearNameServer(void) {
    names.clear();
    name_server.clear();
}
int constructNameServer(vector<string>& names_) {
    names = names_;
    for (int i = 0; i < names.size(); i++) {
        name_server[names[i]] = i;
    }
    return name_server.size();
}
void addDirected(Graph& g, string src, string dst, Weight weight = 0, ll cap = 0) {
    addDirected(g, name_server[src], name_server[dst], weight, cap);
}

void addUndirected(Graph& g, ll src, ll dst, Weight weight = 0, ll cap = 0) { 
    addDirected(g, src, dst, weight, cap);
    addDirected(g, dst, src, weight, cap);
} 

void transformFromMatrixToGraph(Graph& g, Matrix& m) {
    ll n = m.size();
    g.resize(n);
    rep(i, n) rep(j, n) if (m[i][j] != INF) {
        addDirected(g, i, j, m[i][j]);
    }
}

void printGraph(Graph& g) {
    rep(i, g.size()) {
        if (!g[i].size())
            continue;
        rep(j, g[i].size()) 
            cout << "(" << i << ", " << g[i][j].dst << "), ";
        cout << endl;
    }
}
void printGraphCap(Graph& g) {
    rep(i, g.size()) {
        if (!g[i].size())
            continue;
        rep(j, g[i].size()) 
            cout << "(" << i << ", " << g[i][j].dst << " : " << g[i][j].cap << ", " << (g[i][j].rev_flag ? "rev" : "for") << "), ";
        cout << endl;
    }
}


class FordFulkerson {
public:
    Graph g; // ????????????????????????
    int s, t; // ?§????, ??????
    int n; // ????????°
    ll flow = 0; // ?????§????????????????????????????????????????????????????????¨?????±?????????

    // ???????????????????????????????????????
    // O(E ret)
    FordFulkerson(Graph& input, int s_, int t_) : s(s_), t(t_) {
        n = input.size();
        g.resize(n);
        used.resize(n);
        for (auto&& from : input) {
            for (auto&& e_for : from) {
                addEdge(e_for);
            }
        }

        flow = 0;
        revise();
    }
    // ??????????????????src, dst, cap????????±?????????
    // ????????°?????????????????????????????????
    void addEdge(Edge& e_for) {
        Edge e_rev;
        e_rev.src = e_for.dst; 
        e_rev.dst = e_for.src;
        e_rev.cap = 0;

        e_for.rev = g[e_rev.src].size();
        e_rev.rev = g[e_for.src].size(); // ?????????????????????
        e_rev.rev_flag = true;
        g[e_for.src].push_back(e_for);
        g[e_rev.src].push_back(e_rev);
    }
    // ????????°???????????????????????????????????´???????????????
    // flow???????¨??????????
    //
    // O(V ret)
    ll revise(void) {
        while (1) {
            ll f = update(INF);
            if (!f) { // ????????°????????????????????????
                break;
            }
            flow += f;
        }
        return flow;
    }

    // ???????????????
    // ????????°????????§???v??????t????????£??????????????¢?????????????????°???????????????
    //
    // s??????t????§???????????????????????????????????????§?????????????????????????????????0????????????
    // f??????????????¨??????????????????
    //
    // O(V)
    vector<bool> used;
    int dfs(int v/*from*/, int to, ll f) {
        rep(i, n) {
            used[i] = 0;
        }
        return dfs_rec(v, to, f);
    }
    int dfs_rec(int v/*from*/, int to, ll f) {
        if (v == to)
            return f;
        used[v] = true;
        for (int i = 0; i < g[v].size(); i++) {
            Edge &e = g[v][i];
            if (used[e.dst] || e.cap <= 0) 
                continue;
            // ?????£???????????£????????£?????????????????¢??? 
            int d = dfs_rec(e.dst, to, min(f, e.cap)); // ???????????¨???????????????????????£???????????£??????????°??????????????¬???????????????¨??????
            if (d > 0) {
                e.cap -= d; // ????????°?????????????????´??°
                g[e.dst][e.rev].cap += d; // ????????°????????????????????´??°
                return d;
            }
        }
        return 0;
    }

    // ????????????DFS??????????????¢??°???
    // s, t????????????????????????????????????????????£???????????£?????????????°????
    //
    // O(V)
    int update(ll f) {
        return update(f, t);
    }
    int update(ll f, int to) {
        return dfs(s, to, f);
    }

    // s??????t???????????§??????????????????
    // s == t??????INF?????????, ???????????????0?????????
    ll get(void) {
        return flow;
    }

    // O(V) 
    // from??????to??????????????????cap???????????????????????????????????§???????????????
    // ???????????????????????¨?????¨???????????£????????????????????????
    int add(int from, int to, ll cap) {
        bool found = false;
        rep(i, g[from].size()) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            if (e.dst == to) { // ?????¨?????¨?????£??????
                e.cap += cap;
                found = true;
                break;
            }
        }
        if (found == false) {
            Edge e;
            e.src = from;
            e.dst = to;
            e.cap = cap;
            this->addEdge(e);
        }
        revise();
        return flow;
    }

    //  ??? ??§ ??? ??? ??? ??? ??? ??? ??? ??????from->to???????????????????°????????????°???????????????????????????
    //
    // from??????to?????????????????????=to->from??????????????????????????£?????????=from->to??????????????¢????????¨??§????????§???????????????????????¶?????§??????????????????????????????
    // from->to????????????????????£??????????????????????????????????????¨??§from->to????????????????°??????°???????????¨g?????????????????????
    //
    // from->??????->to->from??§????????????????????\???????????°???
    // from->to????????????????????????????????????????????????????????¨?????§?????????
    // ?????????????????????????????????????????¨?????????????????????????????¨????????\??????
    //
    // O(V ret)
    ll minimizeFlowOfEdgePreservingMaxFlow(int from, int to) {
        ll sum = 0;
        rep(i, g[from].size()) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            if (e.dst != to) continue;
            if (g[e.dst][e.rev].cap == 0) continue;
            // ???????????????????????????from??????to???????????????????????¨??????

            Edge& e_rev = g[e.dst][e.rev];
            // ?¶????????????????????????????????????£?????¨??¨?????????????????¨??????
            // ??????????????????????????£???????????¨??§?????????
            ll ret = 0;
            while (1) { // TODO ?????????????????????????????°??????
                // e.src?????????????????°??????????????????????????°???????????????
                vector<bool> used(n);
                function<ll(ll, ll)> dfs_lam = [&](ll v, ll c) {
                    if (v == e.dst) {
                        return c;
                    }
                    used[v] = true;
                    for (auto&& tmp : g[v]) if (used[tmp.dst] == false && tmp.cap) {
                        ll f = dfs_lam(tmp.dst, min(c, tmp.cap));
                        if (f) {
                            tmp.cap -= f;
                            g[tmp.dst][tmp.rev].cap += f;
                            return f;
                        }
                    }
                    return 0ll;
                };
                ll can_erase = dfs_lam(e.src, e_rev.cap);
                ret += can_erase;
                sum += can_erase;
                e_rev.cap -= can_erase;

                if (can_erase == 0) { // ????????§????¶????????????????
                    // TODO ??¬?????????????????\???????????§?????¨??¨??????????¢??????????????????????????¬????????????§???????????????
                    break;
                }
            }
            e.cap += ret;
        }
        return sum;
    }

    // from??????to?????????????????????cap???????????????????????????????????§???????????????
    // cap???0????????£?????????????????°????????????????????????????¶??????????
    //
    // O(V ret)
    int erase(int from, int to, ll cap) {
        // ???????????¨????????????????????????????¶????????????????????????£???????????????????¢????
        ll cap_sum = 0;
        rep(i, g[from].size()) if (g[from][i].dst == to) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            // ?????????????????¨??????

            cap_sum += e.cap + g[e.dst][e.rev].cap;
        }
        if (cap > cap_sum) {
            cap = cap_sum;
        }

        // (1) ?????£????????????????????£???????°????????????????
        rep(i, g[from].size()) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            if (e.dst != to) continue;
            if (g[e.dst][e.rev].cap != 0) continue;
            // ??????????????????????????????from??????to??????????????????????????¨??????

            ll to_erase = min(e.cap, cap);
            e.cap -= to_erase;
            cap -= to_erase;
        }
        if (cap == 0) { // ???????¶??????????????????????????????????
            return flow;
        }

        // (2) ?????£????????????????????????????????????????????????????????????????????????????????§?????????????????????
        minimizeFlowOfEdgePreservingMaxFlow(from, to); // ????????§from->to???????????????cap???????????????
        // ??????????????????????¶????
        rep(i, g[from].size()) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            if (e.dst != to) continue;
            ll m = min(cap, e.cap);
            cap -= m;
            e.cap -= m;
        }
        if (cap == 0) { // ???????¶??????????????????????????????????
            return flow;
        }
 
        // (2) ?????????????????????????????????????????§????????????????????¶?????????????????????????????????????????§?????????????????????
        //
        // ????????°????????§???t->s???????¢???§??????cap???????????????????????????????????????flow???????°??????????
        // ????°????????????????????????????????????????????????????????????¨???????????§??????????????¨???????????????????????????
        ll sum = 0;
        while (1) {
            ll f = dfs(t, s, cap);
            if (!f) break;
            flow -= f;
            cap -= f;
            sum += f;
        }
        assert(cap == 0);
        minimizeFlowOfEdgePreservingMaxFlow(from, to); // ????????§from->to???????????????????????????cap???????????????

        // ??????????????????????¶????
        rep(i, g[from].size()) {
            Edge& e = g[from][i];
            if (e.rev_flag) continue;
            if (e.dst != to) continue;
            ll m = min(sum, e.cap);
            sum -= m;
            e.cap -= m;
        }
        return flow;
    }

    // from??????to??????????????¨?????? 
    //
    // O(V ret)
    int erase(int from, int to) {
        return erase(from, to, INF);
    }
};

int main(void) {
    cin.tie(0); ios::sync_with_stdio(false);
    for(int h,w,c,m,nw,nc,nm;cin>>h>>w>>c>>m>>nw>>nc>>nm,h>=0;){
        clearNameServer();
        vector<string> s;
        vll type = {h, w, c, m, 1, 1, 1};
        vector<string> type_name = {"h", "w", "c", "m", "W", "C", "M"};
        rep(t, type.size()) {
            rep(i, type[t]) { s.pb(type_name[t] + "b" + to_string(i)); } // buffer
            rep(i, type[t]) { s.pb(type_name[t] + to_string(i)); }
        }
        s.pb("s");
        s.pb("t");

        int n = constructNameServer(s);
        Graph g(n);
        
        // ?????????????????¨??¨?????????
        rep(t, 4) {
            rep(i, type[t]) { 
                addDirected(g, type_name[t] + "b" + to_string(i), type_name[t] + to_string(i), 0, 1);
            }
        }
        addDirected(g, "Wb0", "W0", 0, nw);
        addDirected(g, "Cb0", "C0", 0, nc);
        addDirected(g, "Mb0", "M0", 0, nm);
        assert(names.size() == name_server.size());

//        cout << name_server<<endl;
        for (auto x : {mt(w, "h", "wb"), mt(c, "w", "cb"), mt(m, "c", "mb")}) {
            rep(i, get<0>(x)) {
                ll a; cin >> a;
                rep(_, a) {
                    ll index; cin >> index; index--;
                    addDirected(g, get<1>(x) + to_string(index), get<2>(x) + to_string(i), 0, 1);
                }
            }
        }
//        cout << name_server<<endl;
        assert(names.size() == name_server.size());

        // ???????????????
        for (auto x : {mt(h, "h", "Wb0"), mt(w, "w", "Cb0"), mt(c, "c", "Mb0")}) {
            rep(i, get<0>(x)) {
                addDirected(g, get<1>(x) + to_string(i), get<2>(x), 0, 1);
            }
        }
        assert(names.size() == name_server.size());
        // ???????????????
        for (auto x : {mt(c, "cb", "W0"), mt(m, "mb", "C0")}) {
            rep(i, get<0>(x)) {
                addDirected(g, get<2>(x), get<1>(x) + to_string(i), 0, 1);
            }
        }
        assert(names.size() == name_server.size());

        // ??????????????????????????????
        rep(i, h) {
            addDirected(g, "s", "hb" + to_string(i), 0, 1);
        }
        assert(names.size() == name_server.size());

        // ?????????????????´??????
        rep(i, m) {
            addDirected(g, "m" + to_string(i), "t", 0, 1);
        }
        assert(names.size() == name_server.size());
        addDirected(g, "M0", "t", 0, nm);

        FordFulkerson ff(g, name_server["s"], name_server["t"]);
        cout << ff.get() << endl;
    }

    return 0;
}

Measured memory_bytes: 4624