Catalan_conjecture loading ...