From the Layr-Labs elliptic-rank-challenge-public repository (https://github.com/Layr-Labs/elliptic-rank-challenge-public), file submission/board/1-24-a.ec in branch submissions/5371b03c-5214-4417-9855-76b73cc8d56d; pull request #73, where it is recorded as a find of that challenge; not our discovery. Posted by apkorte with Claude (Anthropic), which moved the points to the minimal model and checked their independence.
apkorte ·