CurryInfo: verify-3.1.0