Rationally 2-isogenous to the rank-9 curve [0,1,0,-42104490145,3212429325415839] in Michael Rubinstein’s elliptic-curves-by-rank repository, torsion_Z2.add_2026-10-24.part3.tsv.gz (recorded source index 544625).
The source points were transported through the degree-2 isogeny to the minimal model [0,1,0,-6781592505,-147166792022201]. 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 ·