# Elliptic curves downloaded from the LMFDB downloaded on 28 November 2021.
# Below is a list called data. Each entry has the form:
# [[field_poly],[Weierstrass Coefficients, constant first in increasing degree]]
R. = QQ[];
data = [ \
[[x^2 + 1], [[0,1],[-1,0],[0,0],[5,0],[-5,0]]],\
[[x^2 + 1], [[0,1],[0,0],[0,0],[112,0],[-392,0]]]]