/* 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 + x - 4, 31, 12, [1, 15], -19679417921189702513400979877982159757348613595807029034175430656, [2, 103, 1946342156463328037, 91423104509461892642018507223348779], [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^(30) - a^(29) - 2*a^(28) + a^(27) + 3*a^(26) - a^(25) - 3*a^(24) - 3*a^(23) + 2*a^(22) + 7*a^(21) + 2*a^(20) - 7*a^(19) - 7*a^(18) - a^(17) + 10*a^(16) + 9*a^(15) - 4*a^(14) - 12*a^(13) - 9*a^(12) + 9*a^(11) + 13*a^(10) + 4*a^(9) - 9*a^(8) - 15*a^(7) + 14*a^(5) + 7*a^(4) - 3*a^(3) - 10*a^(2) - 7*a + 11 , 2*a^(30) - 4*a^(29) - 4*a^(28) - a^(27) + 2*a^(26) + 4*a^(25) + 3*a^(24) - 4*a^(23) - 4*a^(22) - 5*a^(21) + 4*a^(20) + 5*a^(19) + 3*a^(18) + 2*a^(17) - 10*a^(16) - 4*a^(14) + 13*a^(13) + a^(12) + 3*a^(11) - 8*a^(10) - 5*a^(9) - 3*a^(8) + 12*a^(7) + 4*a^(6) + 9*a^(5) - 19*a^(4) + 3*a^(3) - 17*a^(2) + 18*a + 5 , 18*a^(30) - 31*a^(29) + 13*a^(28) - 9*a^(27) + 41*a^(26) - 51*a^(25) + 14*a^(24) + 2*a^(23) + 25*a^(22) - 23*a^(21) - 24*a^(20) + 48*a^(19) - 28*a^(18) + 19*a^(17) - 53*a^(16) + 82*a^(15) - 50*a^(14) + a^(13) - 18*a^(12) + 50*a^(11) + 8*a^(10) - 86*a^(9) + 63*a^(8) - 20*a^(7) + 77*a^(6) - 141*a^(5) + 95*a^(4) - 20*a^(3) + 27*a^(2) - 67*a + 37 , 23*a^(30) - 20*a^(29) - 23*a^(28) + 28*a^(27) + 18*a^(26) - 27*a^(25) - 19*a^(24) + 44*a^(23) + 12*a^(22) - 43*a^(21) - 24*a^(20) + 57*a^(19) + 9*a^(18) - 53*a^(17) - 24*a^(16) + 68*a^(15) + 5*a^(14) - 56*a^(13) - 12*a^(12) + 74*a^(11) - 17*a^(10) - 72*a^(9) + 10*a^(8) + 92*a^(7) - 34*a^(6) - 92*a^(5) + 38*a^(4) + 117*a^(3) - 40*a^(2) - 113*a + 77 , 24*a^(30) - 3*a^(29) - 29*a^(28) - 29*a^(27) - 25*a^(26) + 8*a^(25) + 35*a^(24) + 39*a^(23) + 23*a^(22) - 8*a^(21) - 42*a^(20) - 48*a^(19) - 17*a^(18) + 8*a^(17) + 54*a^(16) + 54*a^(15) + 15*a^(14) - 15*a^(13) - 64*a^(12) - 63*a^(11) - 16*a^(10) + 26*a^(9) + 69*a^(8) + 72*a^(7) + 15*a^(6) - 44*a^(5) - 76*a^(4) - 83*a^(3) - 18*a^(2) + 68*a + 105 , 14*a^(30) + 10*a^(29) - 22*a^(28) + 10*a^(27) + 8*a^(26) - 17*a^(25) + 20*a^(24) - 2*a^(23) - 29*a^(22) + 25*a^(21) + 8*a^(20) - 16*a^(19) + 17*a^(18) - 18*a^(17) - 20*a^(16) + 29*a^(15) - 6*a^(13) + 6*a^(12) - 16*a^(11) + 14*a^(10) + 10*a^(9) - 13*a^(8) + 7*a^(7) - 24*a^(6) + 7*a^(5) + 51*a^(4) - 39*a^(3) - 12*a^(2) + 24*a - 51 , 5*a^(30) + 15*a^(29) + 9*a^(28) + 9*a^(27) + 4*a^(26) + a^(25) + 4*a^(24) - 14*a^(23) - 6*a^(22) - 25*a^(21) - 22*a^(19) + 3*a^(18) - 15*a^(17) + 16*a^(16) + 8*a^(15) + 17*a^(14) + 17*a^(13) + 11*a^(12) + 31*a^(11) - 4*a^(10) + 13*a^(9) - 30*a^(8) + 4*a^(7) - 32*a^(6) - 13*a^(5) - 38*a^(4) - 15*a^(3) - 3*a^(2) - 4*a + 23 , 10*a^(30) + 6*a^(29) - 2*a^(28) - 2*a^(27) - 12*a^(26) - 2*a^(24) + 16*a^(23) + 7*a^(22) + 7*a^(21) - 9*a^(20) - 15*a^(19) - 13*a^(18) - 9*a^(17) + 16*a^(16) + 13*a^(15) + 32*a^(14) + a^(13) - 5*a^(12) - 30*a^(11) - 20*a^(10) - 15*a^(9) + 4*a^(8) + 36*a^(7) + 22*a^(6) + 26*a^(5) - 24*a^(4) - 6*a^(3) - 40*a^(2) - 8*a + 13 , 6*a^(30) + 3*a^(29) - 3*a^(28) + 9*a^(27) - 6*a^(26) - 10*a^(25) - 7*a^(24) - 2*a^(23) + a^(22) - 19*a^(21) + 3*a^(19) + 2*a^(18) + a^(17) + 2*a^(16) + 26*a^(15) - 3*a^(14) - 2*a^(13) + 3*a^(12) + 5*a^(11) + a^(10) - 30*a^(9) + 5*a^(8) - 10*a^(7) - 20*a^(6) - 17*a^(5) - 3*a^(4) + 34*a^(3) - 20*a^(2) + 3*a + 23 , 4*a^(30) + 4*a^(29) + 10*a^(28) + 10*a^(27) + 9*a^(26) + 8*a^(25) + 6*a^(24) + 6*a^(23) + 8*a^(22) + 14*a^(21) + 12*a^(20) + 8*a^(19) + 7*a^(18) + 4*a^(17) + 13*a^(16) + 14*a^(15) + 12*a^(14) + 20*a^(13) + 6*a^(12) + 6*a^(11) + 18*a^(10) + 12*a^(9) + 26*a^(8) + 19*a^(7) + 3*a^(6) + 19*a^(5) + 8*a^(4) + 13*a^(3) + 33*a^(2) + 16*a + 21 , 11*a^(30) - 7*a^(29) + 30*a^(28) + 20*a^(27) - 12*a^(26) + 28*a^(25) + 27*a^(24) - 20*a^(23) + 18*a^(22) + 33*a^(21) - 24*a^(20) + 5*a^(19) + 31*a^(18) - 33*a^(17) - 13*a^(16) + 22*a^(15) - 50*a^(14) - 34*a^(13) + 24*a^(12) - 56*a^(11) - 52*a^(10) + 39*a^(9) - 41*a^(8) - 67*a^(7) + 47*a^(6) - 17*a^(5) - 74*a^(4) + 52*a^(3) + 12*a^(2) - 65*a + 87 , a^(29) - a^(27) + a^(25) - a^(23) + a^(21) - a^(19) + a^(17) - a^(15) + a^(13) - a^(11) + a^(9) - a^(7) + a^(5) - a^(3) - a^(2) + 5*a - 5 , 2*a^(30) - 6*a^(29) - a^(28) - 8*a^(27) - 6*a^(25) + a^(24) - 7*a^(23) - 3*a^(22) - 8*a^(21) - 4*a^(19) - 5*a^(18) - 7*a^(17) - 7*a^(16) - 2*a^(15) - 7*a^(14) - 14*a^(12) - 2*a^(11) - 13*a^(10) + 8*a^(9) - 17*a^(8) + 2*a^(7) - 22*a^(6) + 7*a^(5) - 19*a^(4) + 10*a^(3) - 25*a^(2) + a - 25 , 37*a^(30) + 29*a^(29) - 21*a^(28) - 50*a^(27) + 29*a^(26) + 40*a^(25) - 21*a^(24) - 8*a^(23) - 16*a^(22) - 14*a^(21) + 22*a^(20) - 14*a^(19) + 17*a^(18) + 57*a^(17) - 52*a^(16) - 53*a^(15) + 42*a^(14) + 44*a^(13) + 31*a^(12) - 85*a^(11) - 133*a^(10) + 107*a^(9) + 162*a^(8) - 40*a^(7) - 113*a^(6) - 91*a^(5) + 103*a^(4) + 216*a^(3) - 114*a^(2) - 235*a + 63 , 8*a^(30) + 9*a^(29) + a^(28) - 11*a^(27) - 8*a^(26) + 4*a^(25) + 2*a^(24) - a^(22) + 16*a^(21) + a^(20) - 7*a^(19) - 23*a^(18) + 7*a^(17) + 3*a^(16) + 15*a^(15) - 11*a^(14) + 15*a^(13) - 4*a^(12) + 8*a^(11) - 31*a^(10) - a^(9) - 7*a^(8) + 36*a^(7) + 2*a^(6) + 8*a^(5) - 28*a^(4) + 8*a^(3) - 9*a^(2) - 15 ], 367578496614054170000, []]