Original search by mpjunior92 (2026), public Yukon elliptic-rank challenge submission f9dcdb3a-2049-49d5-94bb-cc04dc429991. Source: https://raw.githubusercontent.com/Layr-Labs/elliptic-rank-challenge-public/098b17019380774646df844473bf6a59f257e748/submission/board/4-9b.ec . The source used a Mestre-Nagao sieve in the Kubert Z/4 family y^2 + x*y - t*y = x^3 - t*x^2 with t=u/(D*s^2), (D,s,u)=(6,8648,-1316843833). 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 ·