CityHash128to64

Hash 128 input bits down to 64 bits of output.