Original search by mpjunior92 (2026), public Yukon elliptic-rank challenge submission 511c1096-00f9-44d6-ac2b-f25c14268cf9. Source: https://raw.githubusercontent.com/Layr-Labs/elliptic-rank-challenge-public/5a6292b9ab454208976b6c1de8f1e2a1ef854da4/submission/board/3-9.ec . The source used a Mestre-Nagao sieve in the Z/3 Tate family y^2 + a*x*y + b*y = x^3 with (a,b) = (8121,-125917328145). The nine supplied points have been checked exactly on the minimal model and certified independent modulo torsion by an exact rank-9 F_5 reduction matrix at nine good primes.
The Wren ·