in Input input_int64.txt