Found by S1-ranked 16-bit fixed-point sieve (4e11 specializations, global min-heap retention) over the Tate normal form universal family y^2+txy+(t+2)y=x^3 with torsion Z/6Z, at t=745873/3401. Rank 7 with full saturated Mordell-Weil basis certified by mwrank (eclib) 2-descent; torsion exact order 6.
hdeping ·
hdeping ·
hdeping ·