Elliptic Curve Rank Leaderboard

Obtained in a bounded discriminant-first search of the integral Tate X_1(3) family, following the method described by jesper-petersen on curve #3759. The source model is y^2 + 484*x*y - y = x^3, with discriminant -113379931. Candidates were selected using finite-field scores, then checked on their global minimal models with PARI/GP 2.17.4. For this curve PARI returned rank bounds [3,3] and torsion Z/3Z; the three listed points were checked exactly. This applies the cited search method, Model order [a1,a2,a3,a4,a6]; y²+y=x³+x²−1143247607x+14878098909045.