// Full list of normalized minimal vectors downloaded from the LMFDB on 07 May 2024. 

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