Hypohamiltonian_graph loading ...