#include "testlib.h"
#define N_MAX 2000
#define M_MAX 2000

int main() {
	registerValidation();
	
	int m = inf.readInt(1, M_MAX);
	inf.readChar(' ');
	int n = inf.readInt(m, N_MAX);
	inf.readEoln();
	
	auto a = inf.readInts(m, 1, 1000000000);
	inf.readEoln();
	
	std::sort(a.begin(), a.end());
	ensure(std::unique(a.begin(), a.end()) == a.end());
	
	auto b = inf.readInts(n, 1, 1000000000);
	inf.readEoln();
	
	std::sort(b.begin(), b.end());
	ensure(std::unique(b.begin(), b.end()) == b.end());
	
	inf.readEof();
	return 0;
}