with Ada.Text_IO;
procedure Day01_1 is
Input : Ada.Text_IO.File_Type;
Max : Natural := 0;
Sum : Natural;
begin -- Day01_1
Ada.Text_IO.Open (File => Input, Mode => Ada.Text_IO.In_File, Name => "input_01_1");
All_Elves : loop
exit All_Elves when Ada.Text_IO.End_Of_File (Input);
Sum := 0;
All_Food : loop
exit All_Food when Ada.Text_IO.End_Of_File (Input);
One_Food : declare
Line : constant String := Ada.Text_IO.Get_Line (Input);
begin -- One_Food
exit All_Food when Line = "";
Sum := Sum + Integer'Value (Line);
end One_Food;
end loop All_Food;
Max := Integer'Max (Max, Sum);
end loop All_Elves;
Ada.Text_IO.Close (File => Input);
Ada.Text_IO.Put_Line (Item => Max'Image);
end Day01_1;