in Input input_hashed_uint32_opt.txt