I obtained this curve as a rational 2-isogenous partner of curve #4650: https://elliptic-rank.icarm.cloud/curve/4650. The source curve appears in Michael Rubinstein's elliptic-curves-by-rank repository, torsion/torsion_Z2.tsv.gz: https://github.com/mrubinst/elliptic-curves-by-rank. I transported eight supplied independent rational points through the isogeny and checked them exactly on this minimal model. Same rank and conductor; rational torsion Z/2Z. Source-attributed isogeny construction.
The Wren ·