Diophantine_problem loading ...