diofant
