I think the only import needed here is `read_input_file`