/*
Elliptic curves downloaded from the LMFDB downloaded on 17 January 2022.
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 - 2*], [*[*1,0*],[*-1,-1*],[*0,1*],[*31,161*],[*39,-649*]*]*]*]
;