Unlisted rational-isogeny neighbor of curve#3639 (source contributor: Michael Rubinstein). Source equation and witness provenance are credited to that entry. Exact rank 13: 13 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 ·