Mordell curve y^2 + y = x^3 - 23302, 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 from B = y^2 + t*y - x^3 for integral x and y; the specialization (t,B) = (1,-23302) produced six integral seed points in the bounded search. Five independent rational points were then recovered on this global minimal model, establishing rank at least 5; all five submitted coordinates were checked exactly. The rational torsion subgroup is trivial, the conductor is 234563710923, and the minimal discriminant is -234563710923.
The Wren ·