E=EllipticCurve([0,0,0,5,10]) Cremona Label = 400h1 J:=(x-5)*y Monodromy [5,41,41]-type x=(1243)(5), y=(1235)(4), z=(12534) Reference: Birch's Article in LMS 200 (L.Schneps eds.) Example from N.Elkies "ABC implies Mordell" Designed K.Hoshino and H.Nakamura (Okayama Univ.)