def read_input_files(input_file: str) -> list[int]:
    """
    Extracts a list of numbers from the input file.
    """
    with open(input_file) as input_fobj:
        numbers = [int(line) for line in input_fobj]
    return numbers