// Full list of normalized minimal vectors downloaded from the LMFDB on 26 April 2024. 

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