/* 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 - 2*x - 4, 31, 12, [1, 15], -4919854480186888668438405507521989689337153398951757258543857664, [2, 18637, 915875630752789281544501521474611366045713], [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, 1/2*a^30], 0, 1, [], 1, [ a^(29) - 3*a^(28) + a^(27) - a^(26) - a^(25) + 2*a^(24) + a^(22) + a^(21) - 2*a^(19) - 3*a^(17) - 2*a^(16) + 2*a^(15) - 3*a^(14) + 4*a^(13) + 2*a^(12) - a^(11) + 4*a^(10) - 3*a^(9) - 2*a^(8) - a^(7) - 3*a^(6) - a^(5) + 3*a^(4) + 2*a^(3) + 3*a^(2) + 7*a - 3 , 2*a^(30) - 6*a^(29) - 5*a^(28) + 3*a^(27) - 3*a^(26) - 9*a^(25) + a^(24) + a^(23) - 10*a^(22) - 4*a^(21) + 5*a^(20) - 8*a^(19) - 10*a^(18) + 4*a^(17) - 3*a^(16) - 14*a^(15) - 2*a^(14) + 2*a^(13) - 14*a^(12) - 11*a^(11) + 3*a^(10) - 8*a^(9) - 18*a^(8) - 2*a^(7) + a^(6) - 20*a^(5) - 13*a^(4) + 6*a^(3) - 14*a^(2) - 25*a - 3 , 7*a^(30) + 6*a^(28) + 5*a^(27) - 6*a^(26) - a^(25) - a^(24) - 12*a^(23) - 6*a^(22) - 2*a^(21) - 12*a^(20) - 3*a^(19) + 5*a^(18) - 5*a^(17) + 4*a^(16) + 13*a^(15) - 2*a^(14) + 2*a^(13) + 11*a^(12) - 9*a^(11) - 9*a^(10) + 2*a^(9) - 17*a^(8) - 17*a^(7) + 4*a^(6) - 9*a^(5) - 4*a^(4) + 25*a^(3) + 15*a^(2) + 14*a + 31 , 5*a^(30) + 4*a^(29) + 4*a^(28) + a^(27) - a^(26) - 6*a^(25) - 6*a^(24) - 5*a^(23) - 4*a^(22) + 5*a^(21) + 4*a^(20) + 10*a^(19) + 7*a^(18) + 3*a^(17) - a^(16) - 10*a^(15) - 9*a^(14) - 12*a^(13) - 4*a^(12) + a^(11) + 9*a^(10) + 17*a^(9) + 12*a^(8) + 11*a^(7) - 3*a^(6) - 14*a^(5) - 16*a^(4) - 23*a^(3) - 10*a^(2) + a + 3 , 4*a^(29) - 7*a^(28) + a^(27) + 7*a^(26) - 7*a^(25) + 6*a^(23) - 3*a^(22) - a^(21) + 3*a^(20) - 2*a^(19) - 5*a^(18) + 7*a^(17) - 11*a^(15) + 11*a^(14) + 3*a^(13) - 9*a^(12) + 8*a^(11) - 3*a^(10) - 4*a^(9) + 7*a^(8) - 6*a^(7) - 6*a^(6) + 7*a^(5) + 5*a^(4) - 7*a^(3) + 3*a^(2) + 7*a - 11 , 19*a^(30) - 21*a^(29) - 6*a^(28) + 28*a^(27) - 20*a^(26) - 7*a^(25) + 12*a^(24) + a^(23) - 5*a^(22) - 14*a^(21) + 24*a^(20) - 9*a^(19) - 23*a^(18) + 34*a^(17) - 18*a^(16) - 12*a^(15) + 23*a^(14) - 16*a^(13) - 2*a^(12) - 3*a^(11) + 15*a^(10) - 7*a^(9) - 37*a^(8) + 51*a^(7) - 10*a^(6) - 52*a^(5) + 45*a^(4) + 8*a^(3) - 27*a^(2) - 25*a - 5 , 27*a^(30) - 37*a^(28) - 49*a^(27) - 32*a^(26) + 7*a^(25) + 49*a^(24) + 57*a^(23) + 33*a^(22) - 21*a^(21) - 64*a^(20) - 68*a^(19) - 28*a^(18) + 43*a^(17) + 90*a^(16) + 91*a^(15) + 32*a^(14) - 51*a^(13) - 99*a^(12) - 87*a^(11) + a^(10) + 98*a^(9) + 153*a^(8) + 118*a^(7) + 2*a^(6) - 113*a^(5) - 172*a^(4) - 103*a^(3) + 36*a^(2) + 177*a + 163 , 5*a^(29) + 11*a^(28) - 14*a^(27) - 5*a^(26) + 23*a^(25) - 3*a^(24) - 10*a^(23) - 7*a^(22) + 27*a^(21) + 3*a^(20) - 26*a^(19) + 11*a^(18) + 15*a^(17) + 5*a^(16) - 27*a^(15) + 14*a^(14) + 29*a^(13) - 23*a^(12) - 10*a^(11) + 17*a^(10) + 37*a^(9) - 31*a^(8) - 26*a^(7) + 48*a^(6) + 18*a^(5) - 22*a^(4) - 32*a^(3) + 54*a^(2) + 22*a - 49 , 16*a^(30) - 5*a^(29) - 7*a^(28) + 14*a^(27) - 12*a^(25) + 16*a^(24) + 7*a^(23) - 17*a^(22) + 21*a^(21) + 10*a^(20) - 21*a^(19) + 24*a^(18) + 9*a^(17) - 22*a^(16) + 23*a^(15) + 11*a^(14) - 20*a^(13) + 18*a^(12) + 19*a^(11) - 21*a^(10) + 12*a^(9) + 31*a^(8) - 28*a^(7) + 11*a^(6) + 45*a^(5) - 34*a^(4) + 16*a^(3) + 55*a^(2) - 35*a - 17 , 6*a^(30) + 5*a^(29) - a^(28) - 11*a^(27) - 18*a^(26) - 14*a^(25) + a^(24) + 18*a^(23) + 22*a^(22) + 6*a^(21) - 20*a^(20) - 36*a^(19) - 25*a^(18) + 9*a^(17) + 42*a^(16) + 49*a^(15) + 22*a^(14) - 19*a^(13) - 43*a^(12) - 33*a^(11) + 3*a^(10) + 36*a^(9) + 43*a^(8) + 23*a^(7) - 7*a^(6) - 25*a^(5) - 25*a^(4) - 14*a^(3) + 13*a + 15 , 14*a^(30) - 13*a^(29) + 4*a^(28) + 14*a^(27) - 13*a^(26) + 3*a^(25) + 11*a^(24) - 9*a^(23) - 6*a^(22) + 11*a^(21) - 7*a^(20) - 18*a^(19) + 18*a^(18) - 11*a^(17) - 23*a^(16) + 26*a^(15) - 17*a^(14) - 21*a^(13) + 26*a^(12) - 16*a^(11) - 19*a^(10) + 22*a^(9) - 2*a^(8) - 21*a^(7) + 25*a^(6) + 16*a^(5) - 26*a^(4) + 33*a^(3) + 26*a^(2) - 35*a + 11 , 8*a^(30) + 4*a^(29) - 13*a^(28) + 10*a^(27) - 21*a^(26) + 23*a^(25) + 5*a^(24) - 10*a^(23) - 5*a^(22) - 17*a^(21) + 35*a^(20) - 9*a^(19) - 2*a^(18) - 12*a^(17) - a^(16) + 25*a^(15) - 19*a^(14) + 21*a^(13) - 32*a^(12) - 4*a^(11) + 19*a^(10) + 9*a^(9) + 30*a^(8) - 63*a^(7) + 3*a^(6) + 19*a^(5) + 24*a^(4) - 2*a^(3) - 54*a^(2) + 31*a - 23 , 31*a^(30) - 26*a^(29) - 25*a^(28) + 40*a^(27) - 12*a^(26) - 27*a^(25) + 38*a^(24) - 20*a^(23) - 41*a^(22) + 51*a^(21) + 3*a^(20) - 44*a^(19) + 41*a^(18) - 11*a^(17) - 65*a^(16) + 57*a^(15) + 30*a^(14) - 58*a^(13) + 41*a^(12) + 4*a^(11) - 98*a^(10) + 47*a^(9) + 61*a^(8) - 72*a^(7) + 36*a^(6) + 31*a^(5) - 133*a^(4) + 18*a^(3) + 93*a^(2) - 90*a - 47 , 10*a^(30) + 11*a^(29) + 3*a^(28) + 25*a^(27) - 4*a^(26) + 38*a^(25) - 14*a^(24) + 46*a^(23) - 30*a^(22) + 48*a^(21) - 50*a^(20) + 47*a^(19) - 67*a^(18) + 48*a^(17) - 79*a^(16) + 50*a^(15) - 89*a^(14) + 47*a^(13) - 99*a^(12) + 40*a^(11) - 105*a^(10) + 36*a^(9) - 99*a^(8) + 41*a^(7) - 74*a^(6) + 56*a^(5) - 39*a^(4) + 70*a^(3) - 7*a^(2) + 68*a - 1 , 18*a^(30) + 58*a^(29) + 61*a^(28) + 67*a^(27) + 73*a^(26) + 52*a^(25) + 58*a^(24) + 16*a^(23) + 16*a^(22) - 43*a^(21) - 27*a^(20) - 58*a^(19) - 42*a^(18) - 42*a^(17) - 31*a^(16) - 4*a^(15) + 7*a^(14) + 54*a^(13) + 13*a^(12) + 37*a^(11) - 27*a^(10) - 28*a^(9) - 94*a^(8) - 126*a^(7) - 191*a^(6) - 213*a^(5) - 179*a^(4) - 176*a^(3) - 70*a^(2) - 32*a + 75 ], 210828920582287920000, []]