# Elliptic curves downloaded from the LMFDB downloaded on 27 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 - x - 13], [[0,0],[1,0],[1,0],[-1,0],[0,0]]]]