<?php

echo max(
    array_map(
        static fn($elf) => array_sum(explode("\n", $elf)),
        explode("\n\n", file_get_contents('./input.txt'))
    )
);