Found 2026-09-30 in a direct search of the full rational 2-torsion family y^2 = x(x+da)(x+db), using the primitive smooth additive relation 71 + 2545 = 2616 and twist d = 145. Candidates were screened by a deep Mestre–Nagao sieve and then checked with PARI/GP 2.17.4. The submitted six points are independent; PARI/GP ellrank with these points returned matching lower and upper bounds [6,6]. Conductor 3975391189200.
jesper-petersen ·