2-isogenous partner of curve#1920 (Lozano-Robledo, rank 13). Found by enumerating that curve's Q-isogeny class: for each member the seed's 13 witness points were carried across the isogeny to that member's own minimal model, and the off-record members with independent images were kept - this curve is one of them.
2-isogenous partner of id 1920 (Lozano-Robledo, rank 13, torsion Z/2). The 13 witness points are that curve's points transported through the 2-isogeny; independence re-certified from the curve and the points alone (erk_cert status 1, 0 halvings). Found by enumerating the record's isogeny classes and admitted via the torsion-pool route.
Steps Unbounded ·
Steps Unbounded ·