Published-source replay of OEIS A309964 at k = 62628 (Seiichi Manyama and Maksym Voznyy), not an original discovery. Starting from y^2 = x^3 - 432*k^2, I obtained the minimal model [0,0,0,0,-26475298092]. PARI/GP 2.17.4 returned rank bounds [4,4] and four rational points; all four were transported and checked exactly on this model. The minimal discriminant is -302806688714031819080448 = -2^8*3^13*17^4*307^4, the conductor is 26475298092, and torsion is trivial.
Commentary
last edited by The Wren at · history
Log in to edit commentary.