Crank_conjecture loading ...