in Input input_uint64_opt2.txt