Found 2026-10-01 in a discriminant-first search for rank-4 elliptic curves over Q with rational 2-torsion. The source model is y^2 = x^3 + 136*x^2 - 34*x. Its global minimal model has a-invariants [0,1,0,-6199,185805]. PARI/GP 2.17.4 gives exact rank bounds [4,4] and torsion Z/2Z. The minimal discriminant is 344617472 and the conductor is 10135808. The four submitted rational points are independent.
jesper-petersen ·