From Michael Rubinstein's elliptic-curves-by-rank repository, torsion/torsion_Z2.tsv.gz: https://github.com/mrubinst/elliptic-curves-by-rank. I checked the six supplied rational points exactly on this minimal model. The source records rank 6 with independent points and a matching 2-descent upper bound. Rational torsion Z/2Z. Source-attributed existing curve.
The Wren ·