diophantine.c