#include <stdio.h>
#include <stdlib.h>

void set_calories(int* current, int* highest) {
    if (*current > *highest) {
        *highest = *current;
    }

    *current = 0;
}


int main()
{
    char *buffer;
    size_t bufsize;
    size_t characters;

    int current_calories = 0;
    int highest_calories = 0;


    while ((characters = getline(&buffer, &bufsize, stdin)) != -1) {
        --characters;

        buffer[characters] = 0;

        if (characters == 0) {
            set_calories(&current_calories, &highest_calories);
        }

        current_calories += atoi(buffer);
    }

    set_calories(&current_calories, &highest_calories);
    printf("The elf with the highest calories has %d calories", highest_calories);
}