{
  "id": 1751,
  "curve_key": "63846961:-251884400041",
  "ainvs": [
    "1",
    "0",
    "0",
    "-1330145",
    "291422025"
  ],
  "rank_lower_bound": 1,
  "torsion": [
    7
  ],
  "naive_height": 53.91599863014643,
  "faltings_height": 2.544449974232638,
  "conductor": "32370",
  "bad_primes": [
    "2",
    "3",
    "5",
    "13",
    "83"
  ],
  "discriminant": "113901735543570000000",
  "regulator": "1.375890209125746958161434616676630825130",
  "points": [
    [
      "-1250",
      "1795"
    ]
  ],
  "submitter": "hdeping",
  "history": [],
  "commentary": "Specialization t=15/2 of the universal X_1(7) Tate normal form family y^2+(-t^2+t+1)xy+(-t^3+t^2)y=x^3+(-t^3+t^2)x^2 (K3 elliptic surface, rational 7-torsion point (0,0)).",
  "created_at": "2026-09-25 10:47:57",
  "updated_at": "2026-09-25 10:47:57"
}