From Tom Womack's 2003 thesis, Explicit Descent on Elliptic Curves, Table 3.3: https://johncremona.github.io/theses/womack.pdf. This is the rational 3-isogenous partner of the Mordell curve y^2=x^3-463066403167, giving y^2=x^3+12502792885509. I recovered nine rational points with PARI/GP and checked them exactly on this minimal model. PARI/GP returned matching rank bounds [9,9]. Rational torsion trivial. Source-attributed existing curve.
The Wren ·