// Full list of normalized minimal vectors downloaded from the LMFDB on 24 May 2019. 

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