/* 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 - 4*x - 1, 31, 12, [3, 14], 949505255199079208246627035002460041389356970940685243955265569, [24365060088671, 38969953357125920236474466375786993070484887309439], [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) - 4 , a^(16) + 2*a , 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) + a + 2 , 6*a^(30) + a^(29) + 2*a^(28) + 2*a^(27) - 3*a^(26) + 4*a^(25) - 7*a^(24) - 7*a^(22) + a^(21) + 5*a^(20) + 2*a^(19) + 8*a^(18) - 5*a^(17) + 6*a^(16) - 5*a^(15) - a^(14) - 7*a^(13) - 10*a^(12) + 5*a^(11) - a^(10) + 17*a^(9) - 2*a^(8) + 7*a^(7) - a^(6) - 3*a^(5) + a^(4) - 22*a^(3) - 13*a - 5 , 2*a^(30) - 10*a^(29) + 5*a^(28) + 9*a^(27) - 11*a^(26) - a^(25) + 13*a^(24) - 8*a^(23) - 8*a^(22) + 12*a^(21) - 14*a^(19) + 5*a^(18) + 11*a^(17) - 13*a^(16) - 6*a^(15) + 20*a^(14) - 6*a^(13) - 17*a^(12) + 22*a^(11) + 6*a^(10) - 26*a^(9) + 12*a^(8) + 17*a^(7) - 24*a^(6) - 7*a^(5) + 24*a^(4) - 10*a^(3) - 25*a^(2) + 23*a + 8 , 14*a^(30) - 18*a^(28) - 37*a^(27) - 49*a^(26) - 50*a^(25) - 42*a^(24) - 29*a^(23) - 13*a^(22) + 12*a^(21) + 40*a^(20) + 65*a^(19) + 76*a^(18) + 70*a^(17) + 55*a^(16) + 33*a^(15) + 4*a^(14) - 37*a^(13) - 78*a^(12) - 107*a^(11) - 112*a^(10) - 95*a^(9) - 69*a^(8) - 31*a^(7) + 20*a^(6) + 84*a^(5) + 139*a^(4) + 167*a^(3) + 159*a^(2) + 125*a + 25 , 2*a^(30) + 2*a^(29) - a^(28) + 4*a^(27) + 4*a^(24) + a^(23) - 4*a^(22) + 8*a^(21) - 6*a^(20) + 4*a^(19) - 2*a^(18) - 2*a^(17) + a^(16) - 2*a^(15) - 8*a^(14) + 5*a^(13) - 6*a^(12) - 7*a^(11) + 5*a^(10) - 11*a^(9) + 4*a^(8) - 6*a^(7) - 3*a^(6) + 3*a^(5) + 3*a^(4) - 11*a^(3) + 18*a^(2) - 6*a - 4 , a^(30) - 3*a^(29) + 2*a^(28) - 3*a^(27) + a^(25) - a^(24) - 2*a^(23) + 7*a^(22) - 8*a^(21) + 8*a^(20) - 2*a^(18) + 7*a^(17) - 2*a^(16) + 5*a^(15) - a^(14) + 5*a^(13) - a^(12) + a^(11) + 4*a^(10) - 2*a^(9) - 6*a^(8) + 13*a^(7) - 19*a^(6) + 10*a^(5) - 6*a^(4) - 10*a^(3) + 6*a^(2) - 12*a - 3 , 12*a^(30) - a^(29) + 8*a^(28) - 8*a^(27) + 2*a^(26) - 15*a^(25) - 4*a^(24) - 15*a^(23) - 5*a^(22) - 8*a^(21) + a^(20) + 6*a^(19) + 6*a^(18) + 19*a^(17) + 9*a^(16) + 23*a^(15) + a^(14) + 17*a^(13) - 15*a^(12) + a^(11) - 28*a^(10) - 11*a^(9) - 32*a^(8) - 12*a^(7) - 16*a^(6) - 2*a^(5) + 12*a^(4) + 17*a^(3) + 39*a^(2) + 21*a + 1 , 4*a^(30) - 5*a^(29) + 4*a^(28) - 3*a^(27) + 3*a^(26) - a^(25) + a^(24) + a^(23) - 3*a^(22) + 4*a^(21) - 7*a^(20) + 8*a^(19) - 9*a^(18) + 12*a^(17) - 10*a^(16) + 15*a^(15) - 13*a^(14) + 14*a^(13) - 14*a^(12) + 9*a^(11) - 12*a^(10) + 7*a^(9) - 7*a^(8) + 5*a^(7) + 3*a^(6) + 9*a^(4) - 5*a^(3) + 9*a^(2) - 13*a - 5 , 20*a^(30) + 2*a^(29) - 28*a^(28) + 37*a^(27) - 12*a^(26) - 30*a^(25) + 50*a^(24) - 32*a^(23) - 19*a^(22) + 58*a^(21) - 51*a^(20) + 3*a^(19) + 54*a^(18) - 64*a^(17) + 22*a^(16) + 36*a^(15) - 63*a^(14) + 33*a^(13) + 14*a^(12) - 42*a^(11) + 35*a^(10) - 5*a^(9) - 11*a^(8) + 16*a^(7) - 13*a^(6) + 15*a^(5) - 26*a^(4) + 8*a^(3) + 31*a^(2) - 72*a - 19 , 45*a^(30) + 118*a^(29) - 77*a^(28) - 116*a^(27) + 106*a^(26) + 106*a^(25) - 135*a^(24) - 85*a^(23) + 172*a^(22) + 65*a^(21) - 195*a^(20) - 27*a^(19) + 223*a^(18) - 15*a^(17) - 244*a^(16) + 62*a^(15) + 247*a^(14) - 126*a^(13) - 255*a^(12) + 182*a^(11) + 238*a^(10) - 249*a^(9) - 207*a^(8) + 321*a^(7) + 172*a^(6) - 380*a^(5) - 105*a^(4) + 441*a^(3) + 24*a^(2) - 494*a - 117 , 2*a^(30) - a^(29) - 9*a^(26) - 5*a^(25) + 6*a^(24) - 3*a^(23) - 6*a^(22) - a^(21) - 9*a^(20) + 2*a^(19) + 11*a^(18) - 7*a^(17) - 7*a^(16) + 5*a^(15) + 4*a^(14) + 9*a^(13) + 10*a^(12) - 9*a^(11) - 2*a^(10) + 24*a^(9) + 9*a^(8) - 2*a^(7) + 6*a^(6) - 8*a^(5) + 10*a^(4) + 25*a^(3) - 14*a^(2) - 19*a - 4 , 7*a^(30) + 44*a^(29) + 30*a^(28) - 2*a^(27) - 55*a^(26) - 31*a^(25) - a^(24) + 65*a^(23) + 36*a^(22) - 73*a^(20) - 48*a^(19) + 4*a^(18) + 76*a^(17) + 65*a^(16) - 12*a^(15) - 77*a^(14) - 85*a^(13) + 22*a^(12) + 82*a^(11) + 108*a^(10) - 27*a^(9) - 92*a^(8) - 128*a^(7) + 24*a^(6) + 110*a^(5) + 140*a^(4) - 16*a^(3) - 142*a^(2) - 151*a - 28 , 86*a^(30) - 6*a^(29) - 89*a^(28) + 63*a^(27) + 54*a^(26) - 102*a^(25) + 6*a^(24) + 108*a^(23) - 81*a^(22) - 70*a^(21) + 129*a^(20) - a^(19) - 140*a^(18) + 90*a^(17) + 94*a^(16) - 153*a^(15) - 2*a^(14) + 178*a^(13) - 112*a^(12) - 127*a^(11) + 198*a^(10) + 18*a^(9) - 229*a^(8) + 120*a^(7) + 157*a^(6) - 233*a^(5) - 22*a^(4) + 278*a^(3) - 155*a^(2) - 210*a - 40 , 59*a^(30) - 138*a^(29) - 253*a^(28) - 25*a^(27) + 281*a^(26) + 279*a^(25) - 20*a^(24) - 232*a^(23) - 120*a^(22) + 21*a^(21) - 124*a^(20) - 153*a^(19) + 279*a^(18) + 543*a^(17) + 43*a^(16) - 533*a^(15) - 393*a^(14) + 73*a^(13) + 167*a^(12) + 39*a^(11) + 155*a^(10) + 416*a^(9) + 233*a^(8) - 543*a^(7) - 933*a^(6) - 142*a^(5) + 822*a^(4) + 571*a^(3) - 135*a^(2) + 2*a + 14 ], 38197936820101820000, []]