Provenance: found by a local bounded-height search over reduced integral Weierstrass models. Invariants are c4=3616, c6=137440, Delta=16430032 = 2^4*353*2909. The submitted points (-2,2), (-6,8), (10,4), (30,154) were checked exactly on the curve, with an additional finite-field independence sanity check; the site Neron-Tate verifier gives the definitive certificate.
Commentary
last edited by David Renshaw at · history
Log in to edit commentary.