Improving Hamiltonian encodings with the Gray code | Synapse