dph-diophantine.T 753 Bytes