\\ Number fields downloaded from the LMFDB downloaded 02 March 2021
\\ Below is a list called data. Each entry has the form:
\\ [label, polynomial, discriminant, t-number, class group]
\\ Here the t-number is for the Galois group
\\ If a class group was not computed, the entry is [-1]
data = [\
["1.1.1.1", x, 1, 1, []]];