Z/6-torsion Kubert–Tate family curve from my rational-parameter search of y^2+(1-c)xy-by=x^3-bx^2, with b=c(c+1), following the construction of David Renshaw on curve#1192 and the example of Lewis Combes on curve#5970.
The completed rank-6 batch identified the integral model [48077,138942201,3806738422998,0,0], which reduces to the displayed global minimal model.
A separate computation with PARI/GP 2.19.0 returned rank bounds [6,6] and the six displayed rational points. All six points were checked exactly on this model. The minimal discriminant was fully factored and every listed bad-reduction prime proved prime. The conductor is 604178875329281574.
The Wren ·