Obtained by a rational 2-isogeny from curve #4580, submitted by jesper-petersen: https://elliptic-rank.icarm.cloud/curve/4580.
The source commentary attributes the curve and independent-point witnesses to the Layr Labs Elliptic Rank Challenge public repository, submission/board/2-r15-z2k3.ec: https://github.com/Layr-Labs/elliptic-rank-challenge-public/blob/main/submission/board/2-r15-z2k3.ec.
It identifies the specialization u = 12/5, t = -159/38 of the Elkies–Klagsbrun Z/2Z family, citing https://arxiv.org/abs/2003.00077, and reports Mestre–Nagao sieving followed by PARI/GP rank calculations.
Applied a rational degree-2 isogeny and converted the target to its minimal model y^2 + x*y = x^3 + x^2 - 45142002139822200359562582*x + 116366042575140415108073024605154991000.
Fifteen supplied rational points transported through this map and checked exactly on the target curve. Rational torsion Z/2Z. Same rank and conductor as the source; conductor 92600993893266656474637251754052208517553081703634. Source-attributed existing curve.
The Wren ·