Obtained from ICARM curve #803, a rank-at-least-13 curve with torsion \(\mathbf Z/4\mathbf Z\), by quotienting by its unique rational point of order 2. The resulting 2-isogenous curve has global minimal model with ainvs \([0,-1,0,-97601524740238182168191361387491320305220423747377441,-3518287165082200027561400013604098557482789808182196013018931231782963307170495]\), torsion \(\mathbf Z/2\mathbf Z\times\mathbf Z/2\mathbf Z\), and the same conductor \(14545260576720879419495082714314736176851942086001467334920374959680\). The thirteen independent source points were mapped through the isogeny to thirteen independent points on the quotient. The isogeny, minimal model, conductor, torsion and mapped points were verified in Magma.
jesper-petersen ·