Vizing_conjecture loading ...