Szpiro_conjecture loading ...