{
  "id": 2525,
  "curve_key": "-752:-4544",
  "ainvs": [
    "0",
    "-1",
    "0",
    "16",
    "0"
  ],
  "rank_lower_bound": 1,
  "torsion": [
    2
  ],
  "naive_height": 19.86820897184952,
  "faltings_height": -0.2723682068890329,
  "conductor": "336",
  "bad_primes": [
    "2",
    "3",
    "7"
  ],
  "discriminant": "-258048",
  "regulator": "0.3731496043472568544547188018157765884460",
  "points": [
    [
      "2",
      "-6"
    ]
  ],
  "submitter": "Natanael Wildner Fraga",
  "history": [],
  "commentary": "2-isogenous to curve#2076 via the rational 2-torsion point x=1. Independent witness points are the images of that curve's witnesses under the degree-2 isogeny. Witnesses saturated by exact rational halves of published and transported relations; quadratic-character independence is certified.",
  "created_at": "2026-09-26 20:07:02",
  "updated_at": "2026-09-26 20:07:02"
}