Rational 2-isogeny partner of ICARM curve #5479:
https://elliptic-rank.icarm.cloud/curve/5479
Applying the standard 2-isogeny y^2 = x^3 + Ax → y^2 = x^3 − 4Ax to A = −226 gives y^2 = x^3 + 904x. This endpoint was also recovered independently in an exact bounded quartic sweep over 301 <= |A| <= 1500.
PARI/GP 2.17.4 returned rank bounds [3,3], rational torsion Z/2Z generated by [0,0], conductor 3268864 and minimal discriminant -47280848896. Exact quadratic-character certification at 10 good primes gives an F_2 matrix of rank 4 with torsion-row rank 1, proving the three submitted points independent modulo torsion.
The Wren ·