hamiltonian cycle gringo