Aanderaa–Karp–Rosenberg_conjecture loading ...