/* Data is in the following format
   Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0.
[polynomial,
degree,
t-number of Galois group,
signature [r,s],
discriminant,
list of ramifying primes,
integral basis as polynomials in a,
1 if it is a cm field otherwise 0,
class number,
class group structure,
1 if grh was assumed and 0 if not,
fundamental units,
regulator,
list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial]
]
*/

[x^31 - 3, 31, 8, [1, 15], -3514391585695303292520274000747469962323789296982843961159719, [3, 31], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, a^13, a^14, a^15, a^16, a^17, a^18, a^19, a^20, a^21, a^22, a^23, a^24, a^25, a^26, a^27, a^28, a^29, a^30], 0, 1, [], 1, [ a^(16) + a + 1 , a^(30) - 4*a^(29) - a^(28) + 4*a^(26) + a^(25) - 4*a^(24) - 2*a^(23) - a^(22) + 6*a^(21) + 2*a^(20) - 2*a^(19) - 3*a^(18) - 2*a^(17) + 6*a^(16) + a^(15) - a^(14) - 5*a^(13) - a^(12) + 8*a^(11) + 3*a^(10) + a^(9) - 9*a^(8) - 3*a^(7) + 5*a^(6) + 4*a^(5) + 3*a^(4) - 10*a^(3) - 2*a^(2) + 3*a + 7 , a^(30) - a^(29) + a^(28) - a^(27) + a^(26) - a^(25) + a^(24) - a^(23) + a^(22) - a^(21) + a^(20) - a^(19) + a^(18) - a^(17) + a^(16) - a^(15) + a^(14) - a^(13) + a^(12) - a^(11) + a^(10) - a^(9) + a^(8) - a^(7) + a^(6) - a^(5) + a^(4) - a^(3) + a^(2) - 2 , 6*a^(30) - 3*a^(29) - 2*a^(28) + 7*a^(27) - 9*a^(26) + 7*a^(25) - a^(24) - 6*a^(23) + 11*a^(22) - 12*a^(21) + 7*a^(20) - 7*a^(18) + 11*a^(17) - 8*a^(16) + 2*a^(15) + 6*a^(14) - 11*a^(13) + 9*a^(12) - 3*a^(11) - 8*a^(10) + 16*a^(9) - 17*a^(8) + 12*a^(7) + a^(6) - 13*a^(5) + 20*a^(4) - 19*a^(3) + 8*a^(2) + 5*a - 16 , a^(30) - a^(29) - 3*a^(28) + a^(27) + a^(26) + a^(24) - 2*a^(23) - a^(22) + 4*a^(21) + a^(20) + a^(18) - 2*a^(17) + 3*a^(16) + 4*a^(15) - a^(14) - a^(12) + 5*a^(10) - 5*a^(8) - a^(6) + 4*a^(4) - 7*a^(3) - 5*a^(2) + 2*a - 2 , a^(29) + 2*a^(28) + a^(27) - a^(24) - 2*a^(23) - a^(22) + a^(19) + 2*a^(18) + 2*a^(17) - a^(15) - 4*a^(13) - a^(12) - a^(11) + a^(10) + a^(9) + 3*a^(8) + 4*a^(7) + a^(6) - a^(5) - 5*a^(3) - 3*a^(2) - 3*a + 1 , a^(30) - 3*a^(29) - 3*a^(27) - 2*a^(26) - 4*a^(25) - a^(24) - a^(23) + a^(21) + 3*a^(20) + 4*a^(19) + 2*a^(18) + 4*a^(17) + 3*a^(16) + a^(15) - 2*a^(14) - 2*a^(13) - a^(12) - 7*a^(11) - 4*a^(10) - 6*a^(9) + 2*a^(8) - 4*a^(7) + a^(6) + 3*a^(5) + 8*a^(4) + 6*a^(3) + a^(2) + 9*a + 2 , a^(30) - a^(29) - 2*a^(27) - 2*a^(26) - a^(25) - a^(24) + a^(23) - 3*a^(22) - a^(21) - 6*a^(20) + 2*a^(19) - 2*a^(18) + 4*a^(17) - 7*a^(16) + a^(15) - 7*a^(14) + 7*a^(13) - 4*a^(12) + 6*a^(11) - 8*a^(10) + 4*a^(9) - 7*a^(8) + 9*a^(7) - 5*a^(6) + 6*a^(5) - 8*a^(4) + 5*a^(3) - 5*a^(2) + 4*a - 7 , 17*a^(30) - 6*a^(29) - 8*a^(28) + a^(27) + 9*a^(26) - a^(25) - 20*a^(24) + 12*a^(23) + a^(22) + a^(21) - 23*a^(20) + 16*a^(19) + 7*a^(18) - 8*a^(17) - 10*a^(16) + 10*a^(15) + 22*a^(14) - 24*a^(13) + 4*a^(12) + 5*a^(11) + 25*a^(10) - 31*a^(9) + a^(8) + 17*a^(7) + 7*a^(6) - 20*a^(5) - 15*a^(4) + 42*a^(3) - 15*a^(2) - 8*a - 19 , 29*a^(30) - 6*a^(29) - 31*a^(28) + 9*a^(27) + 33*a^(26) - 14*a^(25) - 33*a^(24) + 17*a^(23) + 34*a^(22) - 23*a^(21) - 33*a^(20) + 27*a^(19) + 35*a^(18) - 34*a^(17) - 31*a^(16) + 38*a^(15) + 31*a^(14) - 45*a^(13) - 27*a^(12) + 52*a^(11) + 25*a^(10) - 58*a^(9) - 19*a^(8) + 63*a^(7) + 15*a^(6) - 71*a^(5) - 8*a^(4) + 78*a^(3) - 83*a + 7 , a^(29) + 3*a^(28) + 3*a^(27) + a^(26) + 3*a^(25) + a^(24) + 3*a^(22) + 2*a^(21) - a^(20) - a^(19) - 2*a^(18) - 5*a^(17) - 2*a^(16) - 2*a^(15) - 7*a^(14) - 6*a^(13) - 7*a^(12) - 9*a^(11) - 7*a^(10) - 3*a^(9) - 9*a^(8) - 7*a^(7) - 5*a^(6) - 7*a^(5) - 4*a^(4) + 2*a^(3) - a^(2) - 2*a + 5 , 6*a^(30) - 6*a^(29) + 15*a^(28) - 7*a^(27) + 11*a^(26) - 19*a^(25) + 5*a^(24) - 21*a^(23) + 14*a^(22) - 10*a^(21) + 23*a^(20) - 11*a^(19) + 12*a^(18) - 25*a^(17) + 2*a^(16) - 21*a^(15) + 14*a^(14) - 3*a^(13) + 20*a^(12) - 6*a^(11) - 20*a^(9) - 11*a^(8) - 6*a^(7) + 3*a^(6) + 18*a^(5) + 2*a^(4) + 12*a^(3) - 27*a^(2) - 2*a - 37 , 11*a^(30) - 13*a^(29) + 9*a^(28) - 9*a^(26) + 14*a^(25) - 12*a^(24) + 3*a^(23) + 7*a^(22) - 13*a^(21) + 14*a^(20) - 8*a^(19) - 5*a^(18) + 15*a^(17) - 18*a^(16) + 12*a^(15) + 2*a^(14) - 15*a^(13) + 22*a^(12) - 21*a^(11) + 7*a^(10) + 13*a^(9) - 27*a^(8) + 29*a^(7) - 19*a^(6) - 2*a^(5) + 23*a^(4) - 35*a^(3) + 33*a^(2) - 12*a - 16 , 6*a^(29) + 2*a^(28) - 8*a^(27) - 7*a^(26) + 2*a^(25) + 4*a^(24) - 3*a^(23) - 3*a^(22) + 6*a^(21) + 8*a^(20) + 2*a^(19) - 5*a^(18) - 6*a^(17) + a^(16) + 2*a^(15) - 6*a^(14) - 8*a^(13) + 5*a^(12) + 16*a^(11) + 3*a^(10) - 10*a^(9) + 8*a^(7) - 2*a^(6) - 15*a^(5) - 11*a^(4) + 6*a^(3) + 13*a^(2) + 6*a - 5 , 15*a^(30) - 7*a^(29) - 8*a^(28) + 21*a^(27) - 17*a^(26) + 16*a^(24) - 23*a^(23) + 11*a^(22) + 10*a^(21) - 22*a^(20) + 15*a^(19) + 6*a^(18) - 27*a^(17) + 31*a^(16) - 10*a^(15) - 18*a^(14) + 34*a^(13) - 26*a^(12) - 3*a^(11) + 28*a^(10) - 29*a^(9) + 5*a^(8) + 30*a^(7) - 46*a^(6) + 26*a^(5) + 11*a^(4) - 44*a^(3) + 46*a^(2) - 11*a - 31 ], 2584759353644243000, []]