/*
Elliptic curves downloaded from the LMFDB downloaded on 23 October 2021.
Below is a list called data. Each entry has the form:
[*[*field_poly*],[*Weierstrass Coefficients, constant first in increasing degree*]*]
*/
P := PolynomialRing(Rationals());
data := [*\
[*[*x^2 - x + 17*], [*[*0,0*],[*1,0*],[*1,0*],[*-769,0*],[*-8470,0*]*]*],\
[*[*x^2 - x + 17*], [*[*0,0*],[*1,0*],[*1,0*],[*-9,0*],[*-15,0*]*]*],\
[*[*x^2 - x + 17*], [*[*0,0*],[*1,0*],[*1,0*],[*1,0*],[*0,0*]*]*]*]
;