Faster hash(Pauli).