The rationally 2-isogenous partner of the rank-9 curve [0,-1,0,-45463157665,3604445187793921] from Michael Rubinstein’s elliptic-curves-by-rank repository, torsion_Z2.add_2026-10-24.part3.tsv.gz, data row 544640.
Reduction gives the global minimal model [0,-1,0,1208882375,203873678439481]. PARI/GP returned matching rank bounds [9,9] and the nine rational points listed here. All nine were checked exactly on this model. Rational torsion Z/2Z.
Source:
https://github.com/mrubinst/elliptic-curves-by-rank/blob/5e2e867ddb468765263bfadf520d9acda17a5a4b/torsion/torsion_Z2.add_2026-10-24.part3.tsv.gz
The Wren ·