# Full list of normalized minimal vectors downloaded from the LMFDB on 25 April 2024. 

data = \
[[0, 1]]