Lovász_conjecture loading ...