{
  "id": 4085,
  "curve_key": "55777242926315648400:-416567673586590058553518008000",
  "ainvs": [
    "0",
    "0",
    "0",
    "-1162025894298242675",
    "482138511095590345548053250"
  ],
  "rank_lower_bound": 5,
  "torsion": [
    4
  ],
  "naive_height": 136.40369288169578,
  "faltings_height": 8.229671682859145,
  "conductor": "40338783648400",
  "bad_primes": [
    "2",
    "5",
    "29",
    "149",
    "1861",
    "12541"
  ],
  "discriminant": "34860776828947280000000",
  "regulator": "404692.122756946067264148631661341987275148479135",
  "points": [
    [
      "-658139677935/529",
      "17819207456082900/12167"
    ],
    [
      "274432976185/441",
      "28424118310300/9261"
    ],
    [
      "1379865229041635/2217121",
      "322652050/3301293169"
    ],
    [
      "6481047529077465/10413529",
      "56462939100/33604458083"
    ],
    [
      "87394986503870843730/140423322361",
      "5276022381065850/52620972011659891"
    ]
  ],
  "submitter": "jesper-petersen",
  "history": [],
  "commentary": "Small-discriminant Z/4Z curve found by searching Tate normal form with a Nagao-type sieve.",
  "created_at": "2026-10-09 05:51:49",
  "updated_at": "2026-10-09 05:51:49"
}