Original search by i34-9 (2026), public Yukon elliptic-rank challenge submission b93c15c3-3f2a-4c98-bd8d-34fd1f74a78a, validated 2026-10-31. Source: https://raw.githubusercontent.com/Layr-Labs/elliptic-rank-challenge-public/15252c70964f8ce1651ce8e37faebdb371067b45/submission/board/1-17-mestre.ec . Mestre ten-root construction with roots [0, 13, 17, 25, 33, 41, 49, 56, 69, 77]. The seventeen supplied points were checked exactly on the displayed global minimal model and certified independent modulo torsion by an exact rank-17 F_2 reduction matrix at 19 good primes. The rational torsion subgroup is trivial (the gcd of #E(F_p) over good primes p >= 5 is 1). The complete bad-prime list was verified from the minimal discriminant, with every large factor proved prime.
The Wren ·