{
  "id": 1811,
  "curve_key": "-3807194159:-1450137985614361",
  "ainvs": [
    "1",
    "0",
    "0",
    "79316545",
    "1678407056025"
  ],
  "rank_lower_bound": 1,
  "torsion": [
    12
  ],
  "naive_height": 69.82087021861634,
  "faltings_height": 3.879593018925858,
  "conductor": "1272810",
  "bad_primes": [
    "2",
    "3",
    "5",
    "7",
    "11",
    "19",
    "29"
  ],
  "discriminant": "-1248891445995039000000000000",
  "regulator": "4.545708835129226167811594323104690258071",
  "points": [
    [
      "-4214",
      "1128757"
    ]
  ],
  "submitter": "hdeping",
  "history": [],
  "commentary": "Specialization t=-3/7 of the HHVZ 2021 (Thm 5) universal family for torsion Z/12Z.",
  "created_at": "2026-09-25 15:14:06",
  "updated_at": "2026-09-25 15:14:06"
}