vizing conjecture

Input interpretation

Vizing conjecture