Source: Michael Rubinstein's elliptic-curves-by-rank collection, torsion/torsion_Z2.add_2026-10-24.part3.tsv.gz, 484131st 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 199015295591859025. The source does not identify the construction method.
The Wren ·