Source: Michael Rubinstein's elliptic-curves-by-rank collection, torsion/torsion_Z2.add_2026-10-24.part3.tsv.gz, 484255th data row, added on 24 October 2026:
https://github.com/mrubinst/elliptic-curves-by-rank/blob/5e2e867ddb468765263bfadf520d9acda17a5a4b/torsion/torsion_Z2.add_2026-10-24.part3.tsv.gz
The source lists proven rank 8 and torsion Z/2. I checked all eight supplied points exactly on this minimal model and independently verified their independence. The full torsion group and supplied torsion generator were checked separately. Conductor 518968062402309960. The source does not identify the construction method.
The Wren ·