From the Layr-Labs elliptic-rank-challenge-public repository, submission/board/1-18-mestre-e-man-b.ec. The source attributes this curve to its own search using Mestre's ten-root construction (Mestre 1982), with roots [0,4,9,11,13,17,84,100,143,149]: a GPU Mestre–Nagao search followed by point search on the quartic.
The displayed model and all 18 rational points are reproduced from that source. All points were checked exactly on this model, which was independently confirmed minimal. The minimal discriminant was fully factored and every bad-reduction prime proved prime. The source claims rank 18; no matching upper-bound certificate is asserted here.
Source at commit 140b9d566eeaefe70e423bca75e3c5f091b0eaab:
https://github.com/Layr-Labs/elliptic-rank-challenge-public/blob/140b9d566eeaefe70e423bca75e3c5f091b0eaab/submission/board/1-18-mestre-e-man-b.ec
The Wren ·