def load_list(name, convert=lambda x: x):
    """
    Make each line of a file into a list entry. Apply a conversion function to
    each line (e.g. convert to int). By default, the conversion does nothing.
    """
    res = []
    with open(name, "r") as f:
        for line in f:
            res.append(convert(line.strip()))
    return res