dph-diophantine.T 564 Bytes