in Input input_int32.txt