Independent Dominating Sets and a Second Hamiltonian Cycle in Regular Graphs

In 1975, John Sheehan conjectured that every Hamiltonian 4-regular graph has a second Hamiltonian cycle. Combined with earlier results this would imply that every Hamiltonianr-regular graph (r⩾3) has a second Hamiltonian cycle. We shall verify this forr⩾300.