/* 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], -18327886165296381817189229292602149543677096810012151519, [23, 1693, 3697, 19843, 14132537, 75771043, 5991663366536301415229073661], [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, 1/2*a^16 - 1/2*a, 1/2*a^17 - 1/2*a^2, 1/2*a^18 - 1/2*a^3, 1/2*a^19 - 1/2*a^4, 1/2*a^20 - 1/2*a^5, 1/2*a^21 - 1/2*a^6, 1/2*a^22 - 1/2*a^7, 1/2*a^23 - 1/2*a^8, 1/2*a^24 - 1/2*a^9, 1/2*a^25 - 1/2*a^10, 1/2*a^26 - 1/2*a^11, 1/2*a^27 - 1/2*a^12, 1/2*a^28 - 1/2*a^13, 1/2*a^29 - 1/2*a^14, 1/2*a^30 - 1/2*a^15], 0, 1, [], 1, [ (1)/(2)*a^(16) - (1)/(2)*a - 1 , (1)/(2)*a^(26) - (1)/(2)*a^(21) + (1)/(2)*a^(16) - (1)/(2)*a^(11) + (1)/(2)*a^(6) - (1)/(2)*a - 1 , (1)/(2)*a^(28) - (1)/(2)*a^(25) + (1)/(2)*a^(22) - (1)/(2)*a^(19) + (1)/(2)*a^(16) - (1)/(2)*a^(13) + (1)/(2)*a^(10) - (1)/(2)*a^(7) + (1)/(2)*a^(4) - (1)/(2)*a - 1 , (1)/(2)*a^(30) - (1)/(2)*a^(29) + (1)/(2)*a^(28) - (1)/(2)*a^(27) + (1)/(2)*a^(26) - (1)/(2)*a^(25) + (1)/(2)*a^(24) - (1)/(2)*a^(23) + (1)/(2)*a^(22) - (1)/(2)*a^(21) + (1)/(2)*a^(20) - (1)/(2)*a^(19) + (1)/(2)*a^(18) - (1)/(2)*a^(17) + (1)/(2)*a^(16) - (1)/(2)*a^(15) + (1)/(2)*a^(14) - (1)/(2)*a^(13) + (1)/(2)*a^(12) - (1)/(2)*a^(11) + (1)/(2)*a^(10) - (1)/(2)*a^(9) + (1)/(2)*a^(8) - (1)/(2)*a^(7) + (1)/(2)*a^(6) - (1)/(2)*a^(5) + (1)/(2)*a^(4) - (1)/(2)*a^(3) + (1)/(2)*a^(2) - (1)/(2)*a - 1 , (1)/(2)*a^(30) + (1)/(2)*a^(29) - (1)/(2)*a^(23) - a^(22) - (1)/(2)*a^(21) - (1)/(2)*a^(20) - a^(19) - a^(18) - (3)/(2)*a^(17) - (3)/(2)*a^(16) - (1)/(2)*a^(15) - (1)/(2)*a^(14) - a^(13) - a^(12) - a^(11) + a^(9) + (1)/(2)*a^(8) + (1)/(2)*a^(6) + (3)/(2)*a^(5) + 2*a^(4) + 2*a^(3) + (3)/(2)*a^(2) + (3)/(2)*a + 1 , a^(30) - a^(29) + (1)/(2)*a^(28) - (1)/(2)*a^(27) + a^(26) - (1)/(2)*a^(23) - (1)/(2)*a^(22) + a^(21) - (1)/(2)*a^(20) + (1)/(2)*a^(19) - (3)/(2)*a^(18) + (1)/(2)*a^(17) + a^(15) - (3)/(2)*a^(13) + (1)/(2)*a^(12) - a^(11) + 2*a^(10) - 2*a^(9) + (1)/(2)*a^(8) - (5)/(2)*a^(7) + 2*a^(6) + (1)/(2)*a^(5) + (1)/(2)*a^(4) - (1)/(2)*a^(3) - (3)/(2)*a^(2) + 2*a - 1 , (1)/(2)*a^(29) + a^(28) - 2*a^(26) + (1)/(2)*a^(25) + (1)/(2)*a^(24) + a^(23) - (1)/(2)*a^(22) - a^(21) - (3)/(2)*a^(20) + (3)/(2)*a^(19) + 2*a^(18) - (1)/(2)*a^(17) - 2*a^(16) - (1)/(2)*a^(14) + 3*a^(13) - 2*a^(11) - (5)/(2)*a^(10) + (5)/(2)*a^(9) + 2*a^(8) + (1)/(2)*a^(7) - a^(6) - (7)/(2)*a^(5) + (1)/(2)*a^(4) + 5*a^(3) + (1)/(2)*a^(2) - 3*a - 3 , (1)/(2)*a^(25) - (1)/(2)*a^(24) - (1)/(2)*a^(23) + (1)/(2)*a^(19) + (1)/(2)*a^(18) - (1)/(2)*a^(17) + (1)/(2)*a^(16) - a^(14) + a^(12) - (1)/(2)*a^(10) + (1)/(2)*a^(9) - (1)/(2)*a^(8) - a^(7) + (1)/(2)*a^(4) + (3)/(2)*a^(3) + (1)/(2)*a^(2) - (1)/(2)*a - 1 , a^(30) + (1)/(2)*a^(29) - a^(27) - (3)/(2)*a^(26) - a^(25) - (1)/(2)*a^(24) + (1)/(2)*a^(23) + (3)/(2)*a^(22) + 2*a^(21) + 2*a^(20) + a^(19) - a^(17) - 2*a^(16) - 2*a^(15) - (3)/(2)*a^(14) + 2*a^(12) + (7)/(2)*a^(11) + 4*a^(10) + (5)/(2)*a^(9) + (1)/(2)*a^(8) - (3)/(2)*a^(7) - 4*a^(6) - 4*a^(5) - 2*a^(4) + 3*a^(2) + 5*a + 5 , (1)/(2)*a^(29) - (1)/(2)*a^(28) - (1)/(2)*a^(27) + (1)/(2)*a^(26) - (1)/(2)*a^(24) + a^(23) - (1)/(2)*a^(21) + a^(20) - (1)/(2)*a^(19) - a^(18) - a^(15) + (1)/(2)*a^(14) + (1)/(2)*a^(13) - (3)/(2)*a^(12) + (3)/(2)*a^(11) + a^(10) - (3)/(2)*a^(9) - (3)/(2)*a^(6) + (3)/(2)*a^(4) - a^(3) + a^(2) + 3*a - 1 , (1)/(2)*a^(30) + (1)/(2)*a^(29) + (1)/(2)*a^(28) - (1)/(2)*a^(26) - a^(25) + a^(22) + a^(21) + a^(20) - (3)/(2)*a^(18) - a^(17) + (1)/(2)*a^(15) + (3)/(2)*a^(14) + (3)/(2)*a^(13) + a^(12) - (1)/(2)*a^(11) - 2*a^(10) - a^(9) - a^(8) + a^(7) + 2*a^(6) + 2*a^(5) - (3)/(2)*a^(3) - 3*a^(2) - a - 1 , (1)/(2)*a^(30) - (1)/(2)*a^(28) - a^(27) + (3)/(2)*a^(26) - a^(24) - (1)/(2)*a^(23) + a^(22) + (1)/(2)*a^(21) - (3)/(2)*a^(20) + a^(19) + (3)/(2)*a^(18) + (1)/(2)*a^(17) - (3)/(2)*a^(16) + (1)/(2)*a^(15) + 2*a^(14) - (1)/(2)*a^(13) - a^(12) + (3)/(2)*a^(11) + 2*a^(10) - a^(9) - (5)/(2)*a^(8) + a^(7) + (3)/(2)*a^(6) - (5)/(2)*a^(5) - a^(4) + (3)/(2)*a^(3) + (5)/(2)*a^(2) - (9)/(2)*a - 3 , a^(29) - (1)/(2)*a^(28) - a^(27) - (3)/(2)*a^(25) - (1)/(2)*a^(24) - (1)/(2)*a^(22) + (3)/(2)*a^(21) + a^(20) + a^(19) + a^(18) - (1)/(2)*a^(17) - a^(15) - a^(14) - (1)/(2)*a^(13) - a^(12) + a^(11) + (1)/(2)*a^(10) + (1)/(2)*a^(9) + a^(8) - (3)/(2)*a^(7) - (1)/(2)*a^(6) - a^(5) - a^(4) + a^(3) - (1)/(2)*a^(2) + 3*a + 3 , (3)/(2)*a^(29) + (1)/(2)*a^(28) - a^(27) - a^(26) + (1)/(2)*a^(25) + (1)/(2)*a^(24) + a^(23) - a^(21) - (3)/(2)*a^(20) + a^(19) + (5)/(2)*a^(18) - (1)/(2)*a^(17) - 3*a^(16) - a^(15) + (7)/(2)*a^(14) + (3)/(2)*a^(13) - 2*a^(12) - 2*a^(11) + (3)/(2)*a^(10) + (1)/(2)*a^(9) - a^(8) + a^(7) + a^(6) - (5)/(2)*a^(5) - 3*a^(4) + (9)/(2)*a^(3) + (9)/(2)*a^(2) - 3*a - 7 , (1)/(2)*a^(30) + (1)/(2)*a^(29) + (1)/(2)*a^(28) + (3)/(2)*a^(27) + (3)/(2)*a^(26) + 2*a^(25) + (3)/(2)*a^(24) + a^(23) + 2*a^(22) + (3)/(2)*a^(21) + 3*a^(20) + (3)/(2)*a^(19) + 2*a^(18) + (1)/(2)*a^(17) + a^(16) + (3)/(2)*a^(15) + (5)/(2)*a^(14) + (5)/(2)*a^(13) + (5)/(2)*a^(12) + (3)/(2)*a^(11) + 3*a^(10) + (5)/(2)*a^(9) + 6*a^(8) + 4*a^(7) + (11)/(2)*a^(6) + 2*a^(5) + (7)/(2)*a^(4) + 3*a^(3) + (9)/(2)*a^(2) + 5*a + 3 ], 4169052629874545.0, []]