# Full list of normalized minimal vectors downloaded from the LMFDB on 18 March 2024. data = \ [[1, 0, 0]]