# Number fields downloaded from the LMFDB downloaded 02 October 2022
# 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, []]]