Hamiltonian_cycle_polynomial loading ...