Found in a rational-parameter search of the Kubert–Tate family for torsion ℤ/9ℤ: y^2 + (1-c)xy - by = x^3 - bx^2 with c=t^2(t-1), b=c(t^2-t+1), at t = -5/2; converted to the global minimal model. The 1 witness points were found with PARI/GP ellrank. Conductor 1302210, torsion ℤ/9ℤ.
David Renshaw ·