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

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