AIHL 3.16.7 Hamiltonian graphs