#include<bits/stdc++.h>
#include "testlib.h"
using namespace std;
using ll = long long;
const int Nmin = 1, Nmax = 500'000;
const int Hmin = 1, Hmax = 5'000;
const int Xmin = 2, Xmax = 5;

int main(){
    registerValidation();
	int N = inf.readInt(Nmin, Nmax);
	inf.readSpace();
	int H = inf.readInt(Hmin, Hmax);
	inf.readSpace();
	int X = inf.readInt(Xmin, Xmax);
	inf.readEoln();

	vector<bool> al(N+1);

	int G = inf.readInt(0, min(N, 100));
	inf.readEoln();
	for (int i=0; i<G; i++){
		int g = inf.readInt(1, N);
		assert (!al[g]);
		al[g] = true;
		if (i != G-1) inf.readSpace();
	}
	inf.readEoln();

	int B = inf.readInt(0, min(N-G, 100));
	inf.readEoln();
	for (int i=0; i<B; i++){
		int b = inf.readInt(1, N);
		assert (!al[b]);
		al[b] = true;
		if (i != B-1) inf.readSpace();
	}
	inf.readEoln();

    inf.readEof();
    return 0;
}