//#include <atcoder/all>
#include <iostream>
#include <numeric>
#include <cmath>
#include <limits>
#include <stdio.h>
#include <iomanip>
#include <string> // string, to_string, stoi
#include <vector> // vector
#include <algorithm> // min, max, swap, sort, reverse, lower_bound, upper_bound
#include <utility> // pair, make_pair
#include <tuple> // tuple, make_tuple
#include <cstdint> // int64_t, int*_t
#include <cstdio> // printf
#include <map> // map
#include <queue> // queue, priority_queue
#include <set> // set
#include <stack> // stack
#include <deque> // deque
#include <unordered_map> // unordered_map
#include <unordered_set> // unordered_set
#include <bitset> // bitset
#include <cctype> // isupper, islower, isdigit, toupper, tolower
using namespace std;
//using namespace atcoder;
using ll = long long;
#define all(A) A.begin(),A.end()
using vll = vector<ll>;
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
using Graph = vector<vector<pair<ll,ll>>>;
ll N, L,K;
vll A;

bool isOK(ll M) {
	ll S = 0;
	ll res = 0;
	rep(i, N+1) {
		S += A[i];
		if (S >= M) {
			res++;
			S = 0;

		}
	}


	return res <= K;
}

// 汎用的な二分探索のテンプレ
ll binary_search() {
	ll left = -1; //「index = 0」が条件を満たすこともあるので、初期値は -1
	ll right = 1e9+7; // 「index = a.size()-1」が条件を満たさないこともあるので、初期値は a.size()

	/* どんな二分探索でもここの書き方を変えずにできる！ */
	while (right - left > 1) {
		ll mid = left + (right - left) / 2;

		if (isOK(mid)) right = mid;
		else left = mid;
	}

	/* left は条件を満たさない最大の値、right は条件を満たす最小の値になっている */
	return right;
}






int main() {
	
	ll X, N, M;
	cin >> X >> N >> M;
	set<ll> Q, W;
	rep(i, N) {
		ll A;
		cin >> A;
		Q.insert(A);
	}
	rep(i, M) {
		ll A;
		cin >> A;
		W.insert(A);

	}

	if (Q.count(X)) {
		if (W.count(X)) {
			cout << "MrMaxValu" << endl;
		}
		else {
			cout << "MrMax" << endl;
		}
	}
	else {
		if (W.count(X)) {
			cout << "MaxValu" << endl;
		}
		else {
			cout << -1 << endl;
		}
	}
}