Original search by mpjunior92 (2026), public Yukon elliptic-rank challenge submission 5efdc131-d52e-4b2c-9962-c0b912aa9de8. Source: https://raw.githubusercontent.com/Layr-Labs/elliptic-rank-challenge-public/07e2abcc754fd889214af458aeaeb016a2004705/submission/board/4-9.ec . The source used a Mestre-Nagao sieve in the Z/4 Kubert family y^2+x*y-t*y=x^3-t*x^2, with t=u/(D*s^2), (D,s,u)=(3,29711,-2980125361). 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 ten good primes.
The Wren ·