{
  "id": 71,
  "curve_key": "3616:137440",
  "ainvs": [
    "0",
    "-1",
    "0",
    "-75",
    "-134"
  ],
  "rank_lower_bound": 4,
  "naive_height": 24.5793711645362,
  "faltings_height": 0.08614869463915334,
  "conductor": "16430032",
  "bad_primes": [
    "2",
    "353",
    "2909"
  ],
  "discriminant": "16430032",
  "regulator": "29.93011794279284801770139339930493926616246710",
  "points": [
    [
      "-2",
      "2"
    ],
    [
      "-6",
      "8"
    ],
    [
      "10",
      "4"
    ],
    [
      "30",
      "154"
    ]
  ],
  "submitter": "David Renshaw",
  "commentary": "Provenance: found by a local bounded-height search over reduced integral Weierstrass models. Invariants are c4=3616, c6=137440, Delta=16430032 = 2^4*353*2909. The submitted points (-2,2), (-6,8), (10,4), (30,154) were checked exactly on the curve, with an additional finite-field independence sanity check; the site Neron-Tate verifier gives the definitive certificate.",
  "created_at": "2026-05-29 13:46:05",
  "updated_at": "2026-07-01 23:03:09"
}