Found 2026-10-01 in a discriminant-first search for elliptic curves over Q with rational 2-torsion. The search used the visible-2-torsion family y^2 = x^3 + A*x^2 + B*x together with Kretschmer-type divisor-square conditions. The source model is y^2 = x^3 - 890*x^2 + 220898*x, with 220898 = 2*17*73*89. PARI/GP 2.17.4 gives exact ellrank bounds [6,6], torsion Z/2Z, conductor 323366397056, and minimal discriminant -71430990376876288.
jesper-petersen ·