Diophantine_equations loading ...