#include <bits/stdc++.h>

int main(){
    std::vector<int> idoh, idov;
    int korok, cache;
    int v = 0, h = 0;
    int vmin = 1000000, hmin = 1000000;
    std::cin >> korok;
    for(int i = 0; i < korok; i++) {
        std::cin >> cache;
        idoh.push_back(cache);
        h += idoh[i];
        if (hmin > idoh[i]) {hmin = idoh[i];}
    }
    for(int i = 0; i < korok; i++) {
        std::cin >> cache;
        idov.push_back(cache);
        v += idov[i];
        if (vmin > idov[i]) {vmin = idov[i];}
    }
    if (v < h) {std::cout << "Verstappen\n";}
    else {std::cout << "Hamilton\n";}
    if (vmin < hmin) {std::cout << "Verstappen";}
    else {std::cout << "Hamilton";}
    std::cin >> h;
}