#include "testlib.h"
#include <bits/stdc++.h>
using namespace std;
int main() {
	registerValidation();
	int H = inf.readInt(1, 1000000000, "H");
	inf.readSpace();
	int W = inf.readInt(1, 1000000000, "W");
	inf.readSpace();
	int N = inf.readInt(1, 50000, "N");
	inf.readSpace();
	int M = inf.readInt(1, 50000, "M");
	inf.readSpace();
	long long S = inf.readLong(1, 1000000000000000000LL, "S");
	inf.readSpace();
	int C = inf.readInt(1, 1000000000, "C");
	inf.readSpace();
	int x = inf.readInt(1, H - 1, "x");
	inf.readSpace();
	int y = inf.readInt(1, W - 1, "y");
	inf.readEoln();
	set<pair<int, int>> jud;
	jud.insert({x, y});
	for (int i = 0; i < N; i++) {
		inf.readInt(1, 1000000000);
		if (i != N - 1)
			inf.readSpace();
		else
			inf.readEoln();
	}
	for (int i = 0; i < M; i++) {
		inf.readInt(1, 1000000000);
		if (i != M - 1)
			inf.readSpace();
		else
			inf.readEoln();
	}
	for (int i = 0; i < N; i++) {
		int xx = inf.readInt(1, H - 1);
		inf.readSpace();
		int yy = inf.readInt(1, W - 1);
		inf.readEoln();
		ensure(jud.count({xx, yy}) == 0);
		jud.insert({xx, yy});
	}
	for (int i = 0; i < M; i++) {
		int xx = inf.readInt(1, H - 1);
		inf.readSpace();
		int yy = inf.readInt(1, W - 1);
		inf.readEoln();
		ensure(jud.count({xx, yy}) == 0);
		jud.insert({xx, yy});
	}
	inf.readEof();
}