// yuki 975 ミスターマックスバリュ
// 2020.2.1 bal4u

#include <stdio.h>

int getchar_unlocked(void);
#define gc() getchar_unlocked()
//#define gc() getchar()

int in() {  // 整数の入力
	int n = 0; int c = gc();
	do n = 10*n + (c & 0xf), c = gc(); while (c >= '0');
	return n;
}

char f[100005];

int main()
{
	int X, N, M;
	static char *s[] = { "-1", "MrMax", "MaxValu", "MrMaxValu" };
	
	X = in(), N = in(), M = in();
	while (N--) f[in()] = 1;
	while (M--) f[in()] |= 2;
	puts(s[f[X]]);
	return 0;
}