Elliptic Curve Rank Leaderboard

Julian Aguirre, Alvaro Lozano-Robledo, and Juan Carlos Peral, Elliptic curves of maximal rank, Example 1.4(4) and Corollary 3.6: https://production.wordpress.uconn.edu/alozano/wp-content/uploads/sites/490/2014/01/ALP-2-23-07.pdf . Their model is y^2 = x^3 + 4510328029*x^2 + 622726581362777216*x. Submitted in its global minimal model, with 12 rational points computed independently using PARI/GP ellrank. PARI returns rank bounds [12,12] and torsion invariants [2], proving rank exactly 12 and torsion Z/2Z. The supplied points are checked by the ICARM exact independence verifier. Found through Lozano-Robledo's own blog: https://afieldguidetomath.wordpress.com/2020/04/29/birding-and-math/ .