#include<iostream>
#include<vector>
#include<string>
using namespace std;

int main()
{
    int n;
    cin>>n;
    int h_ossz =0;
    int v_ossz =0;
    vector<int> hamilton = {};
    vector<int> verstappen ={};
    for(int i = 1;i<=n;i++){
        int h_kor=0;
        cin>>h_kor;
        hamilton.push_back(h_kor);
        h_ossz += h_kor;
    }
    for(int i = 1;i<=n;i++){
        int v_kor=0;
        cin>>v_kor;
        verstappen.push_back(v_kor);
        v_ossz += v_kor;
    }
    int legk = hamilton[0];
    string name = "Hamilton";
    for(int i= 0;i<n;i++){
        if(hamilton[i]<legk){
            legk = hamilton[i];
            name = "Hamilton";
        }
        if(verstappen[i]<legk){
            legk = verstappen[i];
            name = "Verstappen";
        }
    }
    if(h_ossz < v_ossz) cout<<"Hamilton"<<endl;
    else cout<<"Verstappen"<<endl;
    cout<<name<<endl;



}