Original specialization/search by 0xArion (2026), public Yukon elliptic-rank challenge submission 7e9f6673-cf5f-4cb9-82b4-a22add86d720. Source: https://github.com/Layr-Labs/elliptic-rank-challenge-public/blob/7482bf99c4a605a688f26c12d413f7085233dec2/submission/board/first-t2x2-p35213-q16986-r13.ec . Specialization T=35213/16986 of the rank-five X400a family posted by wgxli with curve#4252: y^2=x(x+A)(x+B), A=q(121q-99p)(26p-23q)(75p-44q), B=p(21q-74p)(25p-36q)(p+77q). The source explicitly declares a material dependency on kaankolcu’s prior Yukon submission 43af8780-369f-484f-b8df-47147017654b for the family equations. The thirteen supplied points have been checked exactly on the minimal model and certified independent modulo torsion by an exact rank-13 F_7 reduction matrix at thirteen good primes.
The Wren ·