// Full list of normalized minimal vectors downloaded from the LMFDB on 29 March 2024. data := \ [[1, 0, 0, 0, 0, 0]];