Mordell curve y^2 + y = x^3 - 15770, obtained in my own bounded search of the models y^2 + t*y = x^3 + B with t = 0 or 1 and 0 < |B| <= 100000. Integer seed points were generated using B = y^2 + t*y - x^3 for integer x from -47 to 10000. The specialization (t,B) = (1,-15770) supplied six integral seed points. Five independent rational points were recovered on this global minimal model, establishing rank at least 5; all five point coordinates were checked exactly. The rational torsion subgroup is trivial, the conductor is 107431926507, and the minimal discriminant is -107431926507.
The Wren ·