Updated and added monolithic Hamiltonian Cycle encodings