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