/* 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, [1, 15], -949505255199079242384975296448931958610643029059314756044734431, [7, 135643607885582748912139328064133136944377575579902108006390633], [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, 2, [2], 1, [ a , 9*a^(29) - 11*a^(28) + 5*a^(27) + 3*a^(26) - 6*a^(25) + a^(24) + a^(23) + 3*a^(22) - 11*a^(21) + 13*a^(20) - 2*a^(19) - 12*a^(18) + 19*a^(17) - 10*a^(16) - 2*a^(15) + 3*a^(14) + 3*a^(13) - 7*a^(12) - 5*a^(11) + 22*a^(10) - 28*a^(9) + 13*a^(8) + 14*a^(7) - 24*a^(6) + 15*a^(5) + 3*a^(3) - 20*a^(2) + 23*a - 3 , 5*a^(30) + 5*a^(29) + 3*a^(28) + 4*a^(27) - 3*a^(24) - 4*a^(23) - 8*a^(22) - 9*a^(21) - 5*a^(20) - 5*a^(19) - 4*a^(18) - 7*a^(17) + a^(15) + 6*a^(14) + 5*a^(13) + 9*a^(12) + 11*a^(11) + 9*a^(10) + 12*a^(9) + 8*a^(8) + 9*a^(7) - 6*a^(6) - 5*a^(5) - 7*a^(4) - 4*a^(3) - 13*a^(2) - 18*a + 6 , 6*a^(29) + 8*a^(28) + 12*a^(27) + 14*a^(26) + 12*a^(25) + 13*a^(24) + 12*a^(23) + 7*a^(22) + 6*a^(21) - a^(20) - 9*a^(19) - 12*a^(18) - 18*a^(17) - 21*a^(16) - 17*a^(15) - 19*a^(14) - 17*a^(13) - 10*a^(12) - 9*a^(11) + 2*a^(10) + 14*a^(9) + 18*a^(8) + 27*a^(7) + 30*a^(6) + 23*a^(5) + 28*a^(4) + 24*a^(3) + 13*a^(2) + 12*a - 5 , 9*a^(30) - 2*a^(29) - 14*a^(28) - 15*a^(27) - a^(26) + 18*a^(25) + 20*a^(24) - 18*a^(22) - 17*a^(21) - 4*a^(20) + 10*a^(19) + 17*a^(18) + 12*a^(17) - 14*a^(15) - 25*a^(14) - 14*a^(13) + 20*a^(12) + 38*a^(11) + 16*a^(10) - 22*a^(9) - 40*a^(8) - 21*a^(7) + 19*a^(6) + 37*a^(5) + 20*a^(4) - 2*a^(3) - 20*a^(2) - 37*a + 9 , a^(30) - 7*a^(29) + 7*a^(28) - a^(27) + 12*a^(26) - 16*a^(25) + 10*a^(24) - 12*a^(23) + 25*a^(22) - 21*a^(21) + 16*a^(20) - 26*a^(19) + 33*a^(18) - 25*a^(17) + 24*a^(16) - 39*a^(15) + 36*a^(14) - 25*a^(13) + 32*a^(12) - 46*a^(11) + 26*a^(10) - 24*a^(9) + 38*a^(8) - 36*a^(7) + 10*a^(6) - 23*a^(5) + 27*a^(4) - 10*a^(3) - 11*a^(2) - 10*a + 4 , 9*a^(30) - 14*a^(29) - 6*a^(28) + 4*a^(27) + 11*a^(26) + 4*a^(25) - 22*a^(24) - a^(23) + 23*a^(22) - 6*a^(21) - 11*a^(20) + 3*a^(19) - 3*a^(18) + 11*a^(17) + 2*a^(16) - 17*a^(15) + 9*a^(14) - 8*a^(12) + 22*a^(11) - 11*a^(10) - 29*a^(9) + 26*a^(8) + 16*a^(7) - 11*a^(6) - 13*a^(5) - 24*a^(4) + 42*a^(3) + 37*a^(2) - 72*a + 14 , 13*a^(30) + 13*a^(29) + a^(28) - 3*a^(27) - 14*a^(26) - 19*a^(25) - 15*a^(24) - 18*a^(23) + 2*a^(22) + a^(21) + 23*a^(20) + 18*a^(19) + 26*a^(18) + 15*a^(17) + 2*a^(16) - 5*a^(15) - 29*a^(14) - 22*a^(13) - 34*a^(12) - 16*a^(11) - 5*a^(10) + 13*a^(9) + 30*a^(8) + 35*a^(7) + 38*a^(6) + 19*a^(5) + 9*a^(4) - 24*a^(3) - 31*a^(2) - 53*a + 17 , 10*a^(30) - 8*a^(29) + 5*a^(28) + 2*a^(27) - 10*a^(26) + 10*a^(25) - 7*a^(24) + 6*a^(23) - a^(22) - 3*a^(21) + 2*a^(20) - 5*a^(19) + 11*a^(18) - 10*a^(17) + 7*a^(16) - 4*a^(15) - 8*a^(14) + 17*a^(13) - 14*a^(12) + 11*a^(11) - 7*a^(10) - 5*a^(9) + 9*a^(8) - 7*a^(7) + 16*a^(6) - 23*a^(5) + 18*a^(4) - 13*a^(3) - a^(2) + 33*a - 10 , 16*a^(30) + 13*a^(29) + 10*a^(28) + 13*a^(27) + 15*a^(26) + 7*a^(25) + 12*a^(24) + 13*a^(23) + 4*a^(22) + 5*a^(21) + 8*a^(20) - 4*a^(18) + 6*a^(17) - 7*a^(16) - 9*a^(15) - 3*a^(14) - 13*a^(13) - 23*a^(12) - 12*a^(11) - 19*a^(10) - 35*a^(9) - 16*a^(8) - 25*a^(7) - 38*a^(6) - 30*a^(5) - 26*a^(4) - 50*a^(3) - 37*a^(2) - 28*a + 12 , 3*a^(30) - 3*a^(29) - 6*a^(28) - 15*a^(27) - 14*a^(26) - 7*a^(25) - 3*a^(24) + 5*a^(23) + 9*a^(22) + 20*a^(21) + 17*a^(20) + 8*a^(19) + 4*a^(18) - 7*a^(17) - 12*a^(16) - 27*a^(15) - 22*a^(14) - 10*a^(13) - 5*a^(12) + 8*a^(11) + 14*a^(10) + 35*a^(9) + 27*a^(8) + 11*a^(7) + 5*a^(6) - 10*a^(5) - 17*a^(4) - 44*a^(3) - 34*a^(2) - 13*a + 8 , 3*a^(30) + 13*a^(29) + 9*a^(28) - 31*a^(27) + a^(26) + 21*a^(25) + 12*a^(24) - 19*a^(23) - 26*a^(22) + 32*a^(21) + 6*a^(20) - 4*a^(19) - 14*a^(18) - 12*a^(17) + 22*a^(16) + 4*a^(15) + 15*a^(14) - 47*a^(13) - 11*a^(12) + 64*a^(11) - 40*a^(9) - 41*a^(8) + 71*a^(7) + 19*a^(6) - 50*a^(5) + 8*a^(4) - 28*a^(3) + 47*a^(2) + 17*a - 6 , 9*a^(30) + 11*a^(29) + 5*a^(28) - 4*a^(27) - 9*a^(26) - 6*a^(25) + 3*a^(24) + 12*a^(23) + 15*a^(22) + 10*a^(21) - 10*a^(19) - 16*a^(18) - 17*a^(17) - 14*a^(16) - 7*a^(15) + 4*a^(14) + 17*a^(13) + 27*a^(12) + 26*a^(11) + 10*a^(10) - 16*a^(9) - 39*a^(8) - 43*a^(7) - 22*a^(6) + 14*a^(5) + 45*a^(4) + 51*a^(3) + 28*a^(2) - 9*a , 20*a^(30) - 25*a^(29) - 2*a^(28) + 25*a^(27) - 10*a^(26) - 14*a^(25) + 13*a^(24) + 4*a^(23) - 19*a^(22) + 15*a^(21) + 14*a^(20) - 33*a^(19) + 14*a^(18) + 14*a^(17) - 28*a^(16) + 30*a^(15) - 2*a^(14) - 39*a^(13) + 36*a^(12) + 6*a^(11) - 33*a^(10) + 23*a^(9) + 18*a^(8) - 46*a^(7) - 4*a^(6) + 77*a^(5) - 46*a^(4) - 60*a^(3) + 104*a^(2) - 38*a + 3 , 5*a^(30) - 24*a^(29) + 32*a^(28) - 17*a^(27) - 7*a^(26) + 37*a^(25) - 33*a^(24) + 19*a^(23) + 11*a^(22) - 25*a^(21) + 33*a^(20) - 26*a^(19) + 10*a^(18) + 10*a^(17) - 40*a^(16) + 51*a^(15) - 42*a^(14) - 15*a^(13) + 59*a^(12) - 81*a^(11) + 41*a^(10) + 16*a^(9) - 68*a^(8) + 79*a^(7) - 40*a^(6) + 7*a^(5) + 44*a^(4) - 61*a^(3) + 92*a^(2) - 56*a + 10 ], 20750959184225810000, []]