{
  "id": 1812,
  "curve_key": "199598384161:-63851676488511409",
  "ainvs": [
    "1",
    "0",
    "0",
    "-4158299670",
    "73902056818212"
  ],
  "rank_lower_bound": 1,
  "torsion": [
    12
  ],
  "naive_height": 78.0587193162157,
  "faltings_height": 4.530675788499713,
  "conductor": "567210",
  "bad_primes": [
    "2",
    "3",
    "5",
    "7",
    "37",
    "73"
  ],
  "discriminant": "2242399433632535118348288000000",
  "regulator": "2.853341396652606580474099817404784669838",
  "points": [
    [
      "-71988",
      "471450"
    ]
  ],
  "submitter": "hdeping",
  "history": [],
  "commentary": "Specialization t=-7/1 of the HHVZ 2021 (Thm 5) universal family for torsion Z/12Z.",
  "created_at": "2026-09-25 15:14:16",
  "updated_at": "2026-09-25 15:14:16"
}