Manin_conjecture loading ...