{
  "id": 1758,
  "curve_key": "6615921:-17273158281",
  "ainvs": [
    "1",
    "-1",
    "1",
    "-137832",
    "20026539"
  ],
  "rank_lower_bound": 1,
  "torsion": [
    7
  ],
  "naive_height": 47.144839178215456,
  "faltings_height": 1.8110623579090797,
  "conductor": "43190",
  "bad_primes": [
    "2",
    "5",
    "7",
    "617"
  ],
  "discriminant": "-5081260310000000",
  "regulator": "1.838466062552926215099448662822296072660",
  "points": [
    [
      "97",
      "2701"
    ]
  ],
  "submitter": "hdeping",
  "history": [
    {
      "kind": "primes_recorded",
      "user": "Daniel Błażewicz",
      "at": "2026-09-25 11:35:03"
    }
  ],
  "commentary": "Specialization t=-5/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 11:26:21",
  "updated_at": "2026-09-25 11:35:03"
}