Unlisted rational-isogeny neighbor of curve#3674 (source contributor: Michael Rubinstein). Source equation and witness provenance are credited to that entry. Exact rank 9: 9 independent points certified by the unchanged ICARM verifier, with a matching unconditional upper bound computed using PARI/GP 2.17.2 ellrank. This is an additional representative of a known isogeny class, not a claim of a new world rank record.
Odbayar Shinebayar ·