in Input input_uint64.txt