{
  "id": 4254,
  "curve_key": "239917052074543124800:-3016494768435941265667713280000",
  "ainvs": [
    "0",
    "1",
    "0",
    "-4998271918219648433",
    "3491313387727359899560711263"
  ],
  "rank_lower_bound": 11,
  "torsion": [
    2
  ],
  "naive_height": 140.78047476341894,
  "faltings_height": 9.737325455182145,
  "conductor": "413720850995012265670517042400",
  "bad_primes": [
    "2",
    "3",
    "5",
    "7",
    "13",
    "23",
    "31",
    "37",
    "47",
    "61",
    "101",
    "109",
    "409",
    "1217",
    "3137"
  ],
  "discriminant": "2725943786902164738527872201006837214717748792752064000000",
  "regulator": "625121056.259728222513226232976667522652444198358835680811441",
  "points": [
    [
      "-2502449777",
      "18117933025500"
    ],
    [
      "-1291443617",
      "88274547389700"
    ],
    [
      "-1155803393",
      "87888091800132"
    ],
    [
      "-390731273",
      "73380114686172"
    ],
    [
      "711558727",
      "17176228533828"
    ],
    [
      "717004258",
      "16617446261325"
    ],
    [
      "1732856473",
      "5782069555500"
    ],
    [
      "2325895423",
      "66696778757700"
    ],
    [
      "4237653418",
      "241679344625775"
    ],
    [
      "5185263193",
      "342037853066700"
    ],
    [
      "3829522594063/1681",
      "4319387139035814300/68921"
    ]
  ],
  "submitter": "The Wren",
  "history": [],
  "commentary": "Found in a point-constrained cover search using the X1008 family associated with curve#4118. PARI/GP returned rank bounds [11,11].",
  "created_at": "2026-10-15 19:52:06",
  "updated_at": "2026-10-15 19:52:06"
}