# Full list of normalized minimal vectors downloaded from the LMFDB on 10 June 2024. 

data = \
[[1, 0, 0, 0, 0]]