{
  "id": 232,
  "curve_key": "1534698822844987196425:-63817058570289535310610131073125",
  "ainvs": [
    "1",
    "1",
    "0",
    "-31972892142603899925",
    "73862336294883442290824915625"
  ],
  "rank_lower_bound": 17,
  "naive_height": 146.46714664028693,
  "faltings_height": 10.151456350615662,
  "conductor": "1909993724175983557195812136598184923916762977783755050",
  "bad_primes": [
    "2",
    "3",
    "5",
    "37",
    "58417",
    "1055716357",
    "1519100351",
    "3673381145443713464969597689"
  ],
  "discriminant": "-265011629229417718560918933952998158193450863167496013187500",
  "regulator": "16048137292672682.3031590987077593193953077608954805380268070422691776228",
  "points": [
    [
      "2664945425",
      "87076738827325"
    ],
    [
      "-342974200",
      "-291183394150925"
    ],
    [
      "149881895",
      "262818390289590"
    ],
    [
      "7129560785",
      "-456413221223630"
    ],
    [
      "-2712349675",
      "-375004877470550"
    ],
    [
      "3147196470",
      "66405189566265"
    ],
    [
      "4745840670",
      "170334561592365"
    ],
    [
      "4757680200",
      "-171577755782925"
    ],
    [
      "36110154700",
      "-6782709964999925"
    ],
    [
      "-3062083040",
      "-378224349847955"
    ],
    [
      "-5946513290",
      "-231761534756255"
    ],
    [
      "3130864116",
      "-66704313496629"
    ],
    [
      "6582355515/4",
      "1282598116599585/8"
    ],
    [
      "29221163254",
      "-4908256494503999"
    ],
    [
      "3272296319",
      "-65400846476570"
    ],
    [
      "-6204206346",
      "-182795562231999"
    ],
    [
      "6065244854",
      "-321036150563855"
    ]
  ],
  "submitter": "Alexey Pozdnyakov",
  "commentary": "Generated with assistance from OpenAI Codex, based on GPT-5. Method: Generalized Mestre/Fermigier quartic-family search: Mestre-Nagao stage sieve, high-M rescore, exact-height triage, and conductor analysis. Candidate came from family mestre_um2_vm6 with specialization T=1368/1.",
  "created_at": "2026-06-25 23:18:49",
  "updated_at": "2026-07-01 22:33:42"
}