in Input input_rest.txt